4636 search results - page 34 / 928 » Modelling and Validation with VipTool |
AAAI
2006
13 years 9 months ago
2006
1 This article summarizes recent progress in developing a validated computational account of the cognitive antecedents and consequences of emotion. We describe the potential of thi...
ECBS
2007
IEEE
14 years 1 months ago
2007
IEEE
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
ADVIS
2006
Springer
14 years 1 months ago
2006
Springer
The widespread use of XML brings out the need of ensuring the validity of XML data. The use of languages such as XML Schema makes easier the process of verification of XML documen...
DMSN
2009
ACM
14 years 2 months ago
2009
ACM
Generating a good execution plan for a declarative query has long been a central problem in data management research. With the rise in interest in wireless sensor networks (WSNs) ...
ESA
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. The small world phenomenon, a.k.a. the six degree of separation between individuals, was identified by Stanley Milgram at the end of the 60s. Milgram experiment demonstr...