6431 search results - page 1100 / 1287 » Model Building by Resolution |
113
Voted
CASSIS
2004
Springer
15 years 9 months ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
160
Voted
CEAS
2004
Springer
15 years 9 months ago
2004
Springer
We present an end-to-end system that extracts a user’s social network and its members’ contact information given the user’s email inbox. The system identifies unique people...
140
Voted
CIA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Today’s software platforms that support the construction of agent systems in accordance with the FIPA specifications essentially provide enabling infrastructure servic...
151
click to vote
EDBT
2004
ACM
15 years 9 months ago
2004
ACM
Qualitative spatial reasoning forms an important part of the commonsense reasoning required for building intelligent Geographical Information Systems (GIS). Previous research has c...
110
Voted
GC
2004
Springer
15 years 9 months ago
2004
Springer
In this paper an extension of a behavioural subset of UML statecharts for mobile computations is proposed. We study collections of UML objects whose behaviour is given by statechar...