Prix Turing 2007 pour la vérification de modèles

Posté par  . Édité par Benoît Sibaud. Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Presse

(réécrite et réaffectée suite à une purge de compte)

Le prix Turing a été attribué à Edmund M. Clarke (université Carnegie Mellon), E. Allen Emerson (université du Texas) et Joseph Sifakis (université de Grenoble, laboratoire Verimag) pour leurs travaux sur la vérification de modèles (ou model checking).

Sortie de Grails 1.0

Posté par  . Modéré par Jaimé Ragnagna.
Étiquettes :
1
5
fév.
2008
Java
Grails est un framework orienté web écrit en Java et Groovy et placé sous licence Apache. Il s'inspire fortement du framework Rails (Ruby on Rails) avec notamment la notion de convention (vs configuration) permettant de n'avoir que le minimum de configuration nécessaire, un vrai bonheur pour le développeur. Mais contrairement à Rails, Grails est complètement dans l'univers Java, le framework se repose ainsi sur des frameworks "stars" de Java comme Spring ou Hibernate lui donnant d'office une maturité évidente (sans parler du fait qu'il devient par la même occasion complètement "crédible" en entreprise).

La sortie de la version 1.0 risque de donner une nouvelle dimension au projet, et il suffit de regarder l'activité de la liste de diffusion pour réaliser à quel point ce framework a de beaux jours devant lui.

Le seul bémol concernerait la prise en charge des IDE. Il existe des greffons pour Eclipse et NetBeans mais encore trop jeunes. Le seul greffon vraiment avancé à l'heure actuelle est celui pour IDEA IntelliJ (IDE excellent mais qui n'est malheureusement pas OpenSource).

Solipsis présenté pendant le GeekEnd de l’île Orange sur Second Life

Posté par  . Modéré par Mouns.
Étiquettes : aucune
0
31
jan.
2008
Internet
Les 25 et 26 janvier derniers, l’île Orange dans le monde virtuel Second Life a accueilli, dans le cadre du workshop « GeekEnd », une série de discussions et de conférences. Parmi les thèmes abordés : la scalabilité des mondes virtuels, les bots libsl, ou encore les mondes virtuels en P2P. C’est à cette occasion que Piegaro Riel (Romain Piegay) a présenté Solipsis, un projet de métavers en logiciel libre 100% P2P.

Le projet regroupe cinq partenaires : Orange Labs, Archividéo, Artefacto, l’IRISA et le laboratoire LAS de l’Université de Rennes 2. Piegaro Riel a d’emblée rappelé à l’assemblée qu’un métavers n’est pas un simple monde virtuel. Prenons plusieurs données en 3D et rassemblons les dans un même espace, on obtient un métaworld (Second Life par exemple). Prenons maintenant un groupe de métaworlds, déconnectés les uns des autres : on obtient une métagalaxie (comme Active Worlds). Le métavers est un ensemble de métagalaxies reliées en entre elles avec la possibilité de passer de l’une à l’autre, tout en ayant l’impression d’être au sein d’un unique univers virtuel !

Le poste de travail du gendarme sous GNU/Linux Ubuntu

Posté par  . Modéré par Mouns.
Étiquettes :
0
30
jan.
2008
Ubuntu
Lors de la conférence Adèle, ce mercredi 30 janvier, le colonel Nicolas Géraud, adjoint au sous-directeur des télécommunications et de l'informatique de la gendarmerie nationale, a annoncé la migration du poste de travail du gendarme sous le système d'exploitation GNU/Linux Ubuntu.

Dès 2008, 8.000 postes de travail Linux seront déployés. Les 70.000 machines seront toutes migrées en 2013, durée nécessaire au renouvellement du parc. Les machines, neuves, sont livrées avec une distribution Ubuntu installée à partir d'un packaging réalisé par la gendarmerie.

Ce choix s'inscrit dans la politique d'utilisation des logiciels libres sur le poste de travail initiée dès 2005, où la gendarmerie faisait alors le choix de la suite bureautique OpenOffice.org, puis l'année suivante du navigateur Firefox et du client de messagerie Thunderbird.

NdM : merci à marcel2008 et ckg pour avoir proposé des dépêches sur ce thème.

Asterisk en entreprise, retour d'expérience

Posté par  . Modéré par rootix.
Étiquettes : aucune
2
28
jan.
2008
Doc
Vous envisagez de remplacer le vieux PABX de votre société par un système de voix sur IP ? Vous avez déjà entendu parler d'Asterisk mais vous ne savez pas ce qu'on peut en tirer ? Vous pensez qu'un téléphone IP rendrait votre bureau plus branché ? Vous aimeriez bien déployer un IPBX à base de logiciels libres... mais vous ne savez pas si ça tient la route ?

Après un déploiement réussi d'Asterisk dans mon entreprise, j'ai rédigé un document qui raconte notre expérience, l'architecture déployée, les motivations de nos choix, le budget, les étapes du déploiement et les erreurs à ne pas faire.

Journal Tergiversations psychoquantiques

Posté par  .
Étiquettes : aucune
0
28
jan.
2008
On dit :
- un chien, une chienne et un chiot ;
- un chat, une chatte et un chaton ;
- un dauphin, une dauphine et un dauphineau ;
- un éléphant, une éléphant et un éléphanteau ;
- un geek, une geekette et un gecko ; *
- un lapin, une lapine et un lapereau ;
- un lion, une lionne et un lionceau ;
- un loup, une louve et un louveteau ;
- un ours, une (…)

Elisa Media Center 0.3.3 "Mayfly" est sortie

Posté par  . Modéré par Amaury.
Étiquettes :
0
26
jan.
2008
Audiovisuel
Elisa est une solution de media center multi-plateforme pensée pour les gens peu familiarisés avec ce type de produit.

C'est un grand pas dans l'avancement du projet qui a pour but de rendre facile et agréable le divertissement autour de ses médias. En effet, l'interface graphique a été entièrement revue afin d'en améliorer son utilisation et son esthétique. Vous pouvez maintenant parcourir vos médias à l'aide de trois modes de visualisation : en liste, en grille ou en "cover flow". La fluidité a également été améliorée. Les premiers retours utilisateurs sont très encourageants.

Bien que la majorité du développement ait été initiée sous GNU/Linux, des versions pour Mac OS X et Microsoft Windows sont en préparation.

Le Cr@ns fête ses dix ans, le 16 février 2008

Posté par  . Modéré par j.
Étiquettes :
0
23
jan.
2008
Communauté
À l'occasion de son dixième anniversaire, le 16 février 2008, l'association Cr@ns (Cachan / Réseaux @ Normale Sup') organise, en partenariat avec la Mairie de Cachan et l'École Normale Supérieure de Cachan, un évènement public autour du logiciel libre.

Y seront notamment proposés plusieurs conférences sur le thème du logiciel libre (conférences techniques le matin et traitant de sujets plus généraux l'après-midi) ainsi que des stands thématiques (programme de la journée).

La journée sera également et surtout marquée par la première édition du Trophée Cr@ns Innovation, un concours qui vise à récompenser le travail de développeurs de logiciels libres innovants. Ce concours est ouvert à tous les projets diffusés sous licence libre, n'hésitez pas à faire participer le vôtre (pour plus de détails).

En espérant vous y voir nombreux !

Concours sécurité Insomni'hack 08

Posté par  . Modéré par Jaimé Ragnagna.
Étiquettes : aucune
0
23
jan.
2008
Sécurité
Le 8 février prochain se déroulera la première édition du concours Insomni'hack.
Le concours, gratuit et ouvert à tous, se déroulera en Suisse (Préverenges à côté de Lausanne) est composé d'une série d'épreuves de tous niveaux (faciles à difficiles) orientées sécurité.

Le concours repose entièrement sur des développements spécifiques autour de logiciels libres (dont aucun produit commercial), le but du concours n'étant pas d'utiliser des exploits/failles mais plutôt de mettre en oeuvres des concepts généraux relatifs à la sécurité informatique.

Les épreuves toucheront à divers domaines :

Journal Vista fait un bide, MacOS et Linux une percée !

Posté par  .
Étiquettes : aucune
0
17
jan.
2008
Le XiTi Monitor de décembre 2007 semble confirmer la tendance générale : Windows Vista, le dernier OS de Microsoft, est en fait un échec commercial.

http://www.xitimonitor.com/fr-fr/equipement-internaute/syste(...)

Non content de beaucoup moins se vendre sur la même période que son prédécesseur Windows XP, le nouveau système d'exploitation se paye en plus le luxe de perdre des parts de marché face à ses concurrents, MacOS et Linux. Ce dernier pourrait d'ailleurs être le chouchou de l'année, tant il est décliné dans des (…)

Ubuntu 8.04 alpha 3, prête à déboguer !

Posté par  . Modéré par Nÿco.
Étiquettes :
0
14
jan.
2008
Ubuntu
La prochaine version de la distribution Ubuntu est disponible en version "Alpha 3". Si vous êtes un chasseur de bugs ou souhaitez le devenir, sachez que l'ajout de nouveaux logiciels a été bloqué (soft freeze) quelques jours avant sa sortie. C'est donc le meilleur moment pour un petit safari en terre "ubuntesque" à la recherche de dysfonctionnements et autres boulettes de jeunesse.

Cette futur Ubuntu se veut être une "LTS" (Durée de support étendue), ce qui accroît l'importance du déboguage. Il est à noter toutefois que la saveur Kubuntu de ce cru ne sera pas estampillé LTS. Les hasards du calendrier ayant placé la sortie de KDE 4 sur son chemin, l'équipe KDE a fait le choix de la nouveauté plutôt que la stabilité sur sa liste de diffusion :
Since KDE 4 is a major change to the platform, it is not currently at one of these natural rest points so would not be suitable for long term support. Instead, due to the very high interest, development efforts will be directed towards KDE 4 and releasing Kubuntu 8.04 with the option of using either KDE 3.5 or KDE 4.

Parmi les nombreuses nouveautés on peut citer l'intégration de Xorg 7.3, du noyau Linux 2.6.24-3.5 (basé sur le 2.6.24-rc6), PulseAudio activé par défaut, Firefox 3.0 (Beta 2) et surtout PolicyKit qui permet de démarrer des applications administratives en tant qu'utilisateur normal pour ensuite n'accéder au privilège d'administration qu'aux moments opportuns.

Journal Tux me, I am famous !

Posté par  .
Étiquettes : aucune
0
13
jan.
2008
Toi aussi, je suis certain que tu as déjà entendu au moins une fois dans ta vie ce hit des années 1980 qui, bien que sans désir, fut planétaire : là, celui là [http://www.youtube.com/watch?v=6PDmZnG8KsM] allez, avoue !

Sache tout de même qu'à l'époque de sa sortie, cette chanson a décroché la première place de la plupart des classements à l'étranger, ce qui est une chose plutôt exceptionnelle pour une chanson française, il faut bien l'avouer. Tellement exceptionnelle d'ailleurs (…)

Journal Neuf Télécom vous Arnac !

Posté par  .
Étiquettes : aucune
0
11
jan.
2008
Pour se rendre compte de la chose, il suffit de jeter un œil à leur dernière publicité dans vos boîtes aux lettres. Cette dernière, outre une plaquette tarifaire de leurs forfaits laisse également la parole au responsable marketing forfaits mobiles, M. Jérôme Arnac.




Source : http://marcus.retais.fr/2008/01/10/ca-ne-sinvente-pas/

BOOop'solution : bulletin de paie en opensource

Posté par  . Modéré par Florent Zara.
Étiquettes :
0
9
jan.
2008
Bureautique
L'équipe de développement a le plaisir de vous informer de la sortie de BOOop'solution, en licence GPL. BOOop'solution est un nouveau logiciel qui permet l'édition de bulletin de paie pour OpenOffice.org. Pour mémoire, il existe déjà FactOOor (Facturier), PrévisiOOo (Prévisionnel).

BOOop's, utilise Calc pour la même interface de gestion que FactOOor, Base pour la sauvegarde des données, et les macros pour son fonctionnement. Il faut activer les macros pour profiter de BOOop'solution. Vous pouvez, par l'intermédiaire de l'un des formulaires alimenter les tables de la base de données BasePaie.odb.

Destiné au TPE et PME, ce logiciel est offert par le forum-openoffice.org. Une version « prestige » existe avec du sur mesure.

Entretiens Profoss publiés

Posté par  . Modéré par Mouns.
Étiquettes :
0
8
jan.
2008
Technologie
Profoss organise un événement sur la virtualisation les 22 et 23 janvier à Bruxelles destiné aux professionnels dans le domaine des TICs.

Profoss, lancé par les personnes à l'initiative du FOSDEM il y a 7 ans mais tout à fait indépendant de ce dernier, a pour but de propager des informations objectives quant à l'utilisation de solutions professionnelles basées sur des logiciels libres ou open source.

Le prochain événement étudiera le déploiement de la virtualisation en entreprise, avec les aspects business et technique que cela comporte.

Les orateurs sont des spécialistes qui donneront des présentations non commerciales. Chaque intervenant a accepté de répondre à un entretien et leur réponses viennent d'être publiées.