4759 search results - page 619 / 952 » Software Development Based on Software Pattern Evolution |
172
click to vote
AIPR
2003
IEEE
16 years 2 days ago
2003
IEEE
The VIPER infrared muzzle flash detection system was deployed from a helicopter and an airship in response to the Washington, DC area sniper attacks in October 2002. The system co...
144
Voted
SEW
2006
IEEE
16 years 24 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
195
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
In this paper we develop a notion of “objective trust” for Software Agents, that is trust of, or between, Agents based on actual experiences between those Agents. Experiential ...
177
click to vote
CMPB
2010
15 years 5 months ago
2010
Ligand prediction has been driven by a fundamental desire to understand more about how biomolecules recognize their ligands and by the commercial imperative to develop new drugs. ...
175
click to vote
ECEASST
2006
15 years 6 months ago
2006
Abstract. The Eclipse Modeling Framework (EMF) provides a modeling and code generation framework for Eclipse applications based on structured data models. Within model driven softw...