3825 search results - page 90 / 765 » The Language of Time: A Reader |
200
click to vote
ROOM
2000
15 years 7 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...
140
click to vote
RTAS
2009
IEEE
16 years 17 days 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...
179
Voted
COCOON
2009
Springer
15 years 9 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 ...
163
click to vote
FAC
2010
15 years 4 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...
146
Voted
ICALT
2009
IEEE
16 years 18 days 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...