438 search results - page 44 / 88 » Emergent Properties in Reactive Systems |
ICOST
2007
Springer
14 years 1 months ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...
DALT
2006
Springer
13 years 11 months ago
2006
Springer
Goals are used to define the behavior of (pro-active) agents. It is our view that the goals of an agent can be seen as a knowledge base of the situations that it wants to achieve. ...
FOSSACS
2005
Springer
14 years 1 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
CANDC
2009
ACM
14 years 2 months ago
2009
ACM
Expressive inquiry is a process of exploration and discovery within an artistic medium that supports both intuitive play and iterative experimentation. Glowdoodle is a system that...
ICSE
2010
IEEE-ACM
14 years 15 days ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...