2205 search results - page 224 / 441 » Mutation Operators for Specifications |
164
click to vote
PFE
2001
Springer
15 years 11 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...
162
click to vote
BMAS
2000
IEEE
15 years 11 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...
160
click to vote
EDOC
2000
IEEE
15 years 11 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 ...
146
click to vote
ICRA
2000
IEEE
15 years 11 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...
176
click to vote
MOBICOM
2000
ACM
15 years 11 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...