2060 search results - page 156 / 412 » The Composition of Event-B Models |
161
click to vote
CAI
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. This paper discusses schema evolution in software engineering databases. After a study of existing approaches, we show that these approaches do not satisfy software engin...
157
Voted
ESIAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Geospatial information services composition is a promising approach to construct complex Web GIS applications. BPEL, which is the language and the industry standard that expresses ...
181
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
162
click to vote
SCIA
2007
Springer
15 years 10 months ago
2007
Springer
The work presented here takes place in the field of computer aided analysis of facial expressions displayed in sign language videos. We use Active Appearance Models to model a fac...
158
Voted
AAAI
2011
14 years 4 months ago
2011
This paper describes a new model for understanding natural language commands given to autonomous systems that perform navigation and mobile manipulation in semi-structured environ...