1270 search results - page 233 / 254 » IF Validation Environment Tutorial |
197
Voted
OTM
2005
Springer
16 years 7 days ago
2005
Springer
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
168
Voted
SCOPES
2005
Springer
16 years 7 days ago
2005
Springer
Specification, validation, and synthesis are important aspects of embedded systems design. The use of dataflow-based design environments for these purposes is becoming increasingl...
198
Voted
UM
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
215
Voted
EUROGP
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. Wireless sensor networks (WSNs) are medium scale manifestations of a paintable or amorphous computing paradigm. WSNs are becoming increasingly important as they attain gr...
194
Voted
ACMDIS
2004
ACM
16 years 6 days ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...