2205 search results - page 224 / 441 » Mutation Operators for Specifications |
131
Voted
PFE
2001
Springer
15 years 8 months ago
2001
Springer
In this paper, we examine the role of knowledge management in the design, customization, and delivery of a family of electronically delivered products and services, specifically in...
119
Voted
BMAS
2000
IEEE
15 years 8 months ago
2000
IEEE
System design requires experienced designers that use heuristics and built up knowledge to propose a high order solution. Behavioral models can help to formalise, optimise and spe...
136
Voted
EDOC
2000
IEEE
15 years 8 months ago
2000
IEEE
This paper introduces the Ponder language for specifying distributed object enterprise concepts. Ponder, is a declarative language, which permits the specification of policies in ...
114
Voted
ICRA
2000
IEEE
15 years 8 months ago
2000
IEEE
In this paper we present a methodology for high resolution acoustic bathymetric mapping from a robotic underwater vehicle. Based on data obtained from navigation, attitude, and ba...
125
Voted
MOBICOM
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes an e-mail system for wearable computing environments. In this system, we extend the conventional mail format and the server/client(browser) architecture by co...