2419 search results - page 394 / 484 » A Formal Approach to Software Testing |
117
Voted
CONSTRAINTS
2002
15 years 2 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...
135
Voted
SIAMAM
2011
14 years 5 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...
125
Voted
CAISE
2001
Springer
15 years 7 months 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...
127
Voted
ATAL
2009
Springer
15 years 6 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...
120
Voted
AGTIVE
1999
Springer
15 years 6 months 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...