2557 search results - page 275 / 512 » Goal-Based Modeling of Dynamically Adaptive System Requireme... |
ATAL
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Positioned at the confluence between human/machine and hardware/software integration and backed by a solid proof of concept realized through several scenarios encompassin...
TOG
2012
11 years 10 months ago
2012
We present a dynamic tree modeling and representation technique that allows complex tree models to interact with their environment. Our method uses changes in the light distributi...
ICSM
2000
IEEE
14 years 20 days ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
FM
2001
Springer
14 years 23 days ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
ACOM
2006
Springer
14 years 2 months ago
2006
Springer
Communication is essential in multi-agent systems, since it allows agents to share knowledge and to coordinate. However, in open multi-agent systems, autonomous and heterogeneous a...