2419 search results - page 394 / 484 » A Formal Approach to Software Testing |
CONSTRAINTS
2002
13 years 8 months ago
2002
In this paper, we report the design and implementation of a constraint-based interactive train rescheduling tool, a project in collaboration with the International Institute for So...
SIAMAM
2011
12 years 11 months ago
2011
In wireless networks, the channels are often subject to random variations that limit the reliability of communications between any two radios. Geographic transmission strategies ca...
CAISE
2001
Springer
14 years 22 days ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
ATAL
2009
Springer
13 years 11 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
AGTIVE
1999
Springer
14 years 15 days ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...