5630 search results - page 844 / 1126 » Computability in Specification |
173
click to vote
AVI
2008
15 years 9 months ago
2008
In this paper we present a software framework which supports the construction of mixed-fidelity (from sketch-based to software) prototypes for mobile devices. The framework is ava...
180
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
146
Voted
AI
2008
Springer
15 years 8 months ago
2008
Springer
The web, as a real mass medium, has become an invaluable data source for Information Extraction and Retrieval systems. Digital authoring is a relatively new style of communication,...
170
click to vote
APGV
2008
ACM
15 years 8 months ago
2008
ACM
Most head-mounted displays (HMDs) suffer from substantial optical distortion, and vendor-supplied specifications for field-of-view often are at variance with reality. Such display...
182
click to vote
ARGMAS
2008
Springer
15 years 8 months ago
2008
Springer
Many practitioners view agent interaction protocols as rigid specifications that are defined a priori, and hard-code their agents with a set of protocols known at design time -- a...