1054 search results - page 33 / 211 » A Logic Language of Granular Computing |
GCC
2003
Springer
14 years 1 months ago
2003
Springer
We use 2-Dimensional language to construct 2-Dimensional computer graphics model, use MSO or other logics to specify some graph property, and use automata model checking technique ...
CSE
2009
IEEE
14 years 2 months ago
2009
IEEE
—Mobile devices can produce continuous streams of data which are often specific to the person carrying them. We show that cell phone tracks from the MIT Reality dataset can be u...
ICALP
2009
Springer
14 years 8 months ago
2009
Springer
SWAP
2008
13 years 9 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
ATAL
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Design by contract is a well known theory that views software construction as based on contracts between clients (callers) and suppliers (routines), relying on mutual obl...