2748 search results - page 459 / 550 » Generating Object-Z Specifications from Use Cases |
136
click to vote
ASM
2008
ASM
15 years 5 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...
186
Voted
IAAI
2003
15 years 4 months ago
2003
The Broadcast News Editor (BNE) and Broadcast News Navigator (BNN) are fully implemented systems that exploit integrated image, speech, and language processing to support intellig...
128
Voted
GIS
2002
ACM
15 years 3 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
132
click to vote
MOBISYS
2005
ACM
16 years 3 months ago
2005
ACM
This paper presents a new pairing protocol that allows two CPU-constrained wireless devices Alice and Bob to establish a shared secret at a very low cost. To our knowledge, this i...
148
Voted
ICDM
2006
IEEE
15 years 9 months ago
2006
IEEE
Due to their capability for expressing semantics and relationships among data objects, semi-structured documents have become a common way of representing domain knowledge. Compari...