1583 search results - page 251 / 317 » Engineering Executable Agents using Multi-context Systems |
SEW
2006
IEEE
14 years 4 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
BIRTHDAY
2005
Springer
14 years 3 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
ESTIMEDIA
2003
Springer
14 years 3 months ago
2003
Springer
In order to extensively explore design space one has to specify a n a very abstract level. Transforming a specification into a correct implementation is usually an error prone tas...
ER
1998
Springer
14 years 2 months ago
1998
Springer
The development of Internet commercial applications and corporate Intranets around the world, which uses Java as the de facto standard language, is a significant topic in modern S...
SAC
2008
ACM
13 years 9 months ago
2008
ACM
Middleware-based database replication protocols require few or no changes in the database engine. As a consequence, they are more portable and flexible than kernel-based protocols...