1088 search results - page 176 / 218 » Tools for support of automata-based programming |
108
click to vote
ICTAI
1993
IEEE
15 years 1 months ago
1993
IEEE
MERIT (Multimedia Extensions of Retrieval Interaction Tools)1 provides a user-centered interface to a database covering European research programs, projects, and consortia in the ...
101
click to vote
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
101
click to vote
COORDINATION
2006
Springer
14 years 11 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
135
click to vote
COMPUTING
2011
14 years 4 months ago
2011
Abstract Cloud computing could offer good business models for small CSE (Computational Science and Engineering) research groups because these groups often do not have enough human ...
111
click to vote
CSMR
2010
IEEE
14 years 4 months ago
2010
IEEE
Annotations are a means to attach additional meta data to the source code of a system. Nowadays, more and more technologies rely on the presence of such annotations in the source c...