3233 search results - page 31 / 647 » Validation Method for Intelligent Systems |
102
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Being able to ensure that a multiagent system will not generate undesirable behaviors is essential within the context of critical applications (embedded systems or real-time system...
138
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
107
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
E-science experiments typically involve many distributed services maintained by different organisations. After an experiment has been executed, it is useful for a scientist to ver...
127
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
130
Voted
ICST
2009
IEEE
15 years 2 days ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...