1528 search results - page 256 / 306 » Object-Oriented Software Composition |
FMCAD
2008
Springer
13 years 11 months ago
2008
Springer
We present a method for verifying information flow properties of software programs using inductive assertions and theorem proving. Given a program annotated with information flow a...
DAGSTUHL
2006
13 years 11 months ago
2006
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
WSC
2000
13 years 11 months ago
2000
The integration of optimization and simulation has become nearly ubiquitous in practice, as most discrete-event simulation packages now include some type of optimization routine. ...
SWWS
2007
13 years 11 months ago
2007
−The ability for software agents to discover, query, and task ubiquitous sensors requires machineinterpretable service descriptions, such as those proposed by the Semantic Web ef...
CACM
2008
13 years 10 months ago
2008
argely on the ability of used architectural abstractions to support the separate handling of agent-specific concerns since an early state of design. The applied architectural style...