3825 search results - page 90 / 765 » The Language of Time: A Reader |
102
click to vote
ROOM
2000
14 years 11 months ago
2000
We describe a language which can be used to model business processes (both technical and nontechnical). It has a formal semantics, so as to enable formal analysis and prediction o...
RTAS
2009
IEEE
15 years 4 months ago
2009
IEEE
—The Collaborative Sensing Language (CSL) is a high-level feedback control language for mobile sensor networks (MSN). It specifies MSN controllers to accomplish network objectiv...
COCOON
2009
Springer
15 years 1 months ago
2009
Springer
We present new and more efficient algorithms for regular language enumeration problems. The min-word problem is to find the lexicographically minimal word of length n accepted by ...
FAC
2010
14 years 8 months ago
2010
We present a novel approach for the automatic generation of model-to-model transformations given a description of the operational semantics of the source language in the form of gr...
ICALT
2009
IEEE
15 years 4 months ago
2009
IEEE
Formative feedback can provide information about how learners develop their competences in a knowledge domain. This information can determine learners’ progress and is essential...