11089 search results - page 1687 / 2218 » Developing software families |
185
click to vote
FOSSACS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Using a probabilistic polynomial-time process calculus designed for specifying security properties as observational equivalences, we develop a form of bisimulation that j...
169
click to vote
GCC
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. EEMAS environment is a problem-solving environment for multidisciplinary application simulations. Within the EEMAS, there are four categories of modules involved, namely ...
213
click to vote
GG
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. Code generators are widely used in the development of embedded software to automatically generate executable code from graphical specifications. However, at present, cod...
162
click to vote
ICCHP
2004
Springer
16 years 17 days ago
2004
Springer
This paper gives a brief overview about the partially EU funded project IST-2000-25420 FASTY in the IST program. The objective of FASTY was the creation of a system for increasing ...
171
click to vote
ISCIS
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...