2558 search results - page 221 / 512 » Model Composition Contracts |
146
Voted
STACS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
140
click to vote
UML
2001
Springer
15 years 9 months ago
2001
Springer
Abstract: A lightweight UML-based software development method for building reliable software systems is proposed. It attempts to combine the coding emphasis of Extreme Programming ...
137
click to vote
CSCWD
2008
Springer
15 years 6 months ago
2008
Springer
In the domain of collaborative diagnosis which joined with multi-resource, on account of equipment's complexity and diagnosis resource's heterogeneous, diagnosis task all...
124
click to vote
JAPLL
2008
15 years 4 months ago
2008
In human social interaction, the notions of commitment and trust are strongly interrelated. A formal model for this interrelation will enable artificial agents to benefit from the...
140
click to vote
CVGIP
2008
15 years 4 months ago
2008
Volumetric data, such as output from CT scans or laser range scan processing methods, often have isosurfaces that contain topological noise--small handles and holes that are not p...