2004 search results - page 356 / 401 » Comparison of Model Checking Tools for Information Systems |
113
click to vote
ICSE
2009
IEEE-ACM
15 years 6 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
ICEIS
2002
IEEE
15 years 4 months ago
2002
IEEE
: We aim at elaborating a decision support system to manage concrete experience, using Artificial Intelligence methods, such as Case-Based Reasoning. We target any organization tha...
BPM
2006
Springer
15 years 3 months ago
2006
Springer
When dealing with complex business processes (e.g., in the context of a workflow implementation or the configuration of some process-aware information system), it is important but ...
DCOSS
2006
Springer
15 years 3 months ago
2006
Springer
Wireless sensor networks are often studied with the goal of removing information from the network as efficiently as possible. However, when the application also includes an actuato...