380 search results - page 43 / 76 » Formal driven prototyping approach for multiagent systems |
156
click to vote
CAV
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. In formal verification of hybrid systems, a big challenge is to incorporate continuous flow dynamics in a discrete framework. Our previous work proposed to use nonstand...
139
click to vote
JCPHY
2011
14 years 8 months ago
2011
A computational approach is introduced for the study of the rheological properties of complex fluids and soft materials. The approach allows for a consistent treatment of microstr...
161
click to vote
KES
2006
Springer
15 years 5 months ago
2006
Springer
Distributing pieces of knowledge in large, usually distributed organizations is a central problem in Knowledge and Organization management. Policies for distributing knowledge and...
150
click to vote
ICAC
2006
IEEE
15 years 11 months ago
2006
IEEE
— Event processing systems link event producers and consumers in a flexible manner, by supporting multiple communication patterns and powerful message transformations. Such syst...
132
click to vote
TAP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Usage of combinatorial testing is wide spreading as an effective technique to reveal unintended feature interaction inside a given system. To this aim, test cases are con...