407 search results - page 59 / 82 » An Automated Verification Method for Distributed Systems Sof... |
UML
2001
Springer
14 years 1 months ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
GIS
2008
ACM
13 years 9 months ago
2008
ACM
In this paper we study in-network query processing in disconnected mobile environments, where both ad-hoc communication and infrastructure communication are available. Depending o...
ECSA
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Architectural description languages are a useful tool for modmplex software systems at a high level of abstraction and, if based on formal methods, for enabling the early...
ISSRE
2010
IEEE
13 years 7 months ago
2010
IEEE
—Web 2.0 applications are increasing in popularity. However, they are also prone to errors because of their dynamic nature. This paper presents DoDOM, an automated system for tes...
IJCAI
2007
13 years 10 months ago
2007
Automating the task of scoring handwritten student essays is a challenging problem of AI. The goal is to assign scores which are comparable to those of human scorers even though b...