Sciweavers

10263 search results - page 150 / 2053
» From Use Cases to System Operation Specifications
Sort
View
NPC
2004
Springer
15 years 11 months ago
The HKUST Frog Pond - A Case Study of Sensory Data Analysis
Many sensor network applications are data-centric, and data analysis plays an important role in these applications. However, it is a challenging task to find out what specific prob...
Wenwei Xue, Bingsheng He, Hejun Wu, Qiong Luo
ICMAS
1998
15 years 7 months ago
Developing Formal Specifications to Coordinate Heterogeneous Autonomous Agents
We have been developing an approach for the distributed coordination of heterogeneous, autonomous agents. This approach takes as input (a) agent skeletons, giving compact descript...
Munindar P. Singh
ESWS
2007
Springer
15 years 8 months ago
SWHi System Description: A Case Study in Information Retrieval, Inference, and Visualization in the Semantic Web
Abstract. Search engines have become the most popular tools for finding information on the Internet. A real-world Semantic Web application can benefit from this by combining its ...
Ismail Fahmi, Junte Zhang, Henk Ellermann, Gosse B...
ICSE
1997
IEEE-ACM
15 years 10 months ago
Introducing Formal Specification Methods in Industrial Practice
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
Luciano Baresi, Alessandro Orso, Mauro Pezzè...
MHCI
2009
Springer
16 years 27 days ago
Industrial case study of the MICA support system for warehouse workers
Returns caused by the delivery of incorrect items constitute a major problem for non-automated warehouses. Returns not only create extra costs, they also aggravate customers. Most...
Christian Prause, Markus Eisenhauer, Lukas Gillman...