1141 search results - page 173 / 229 » From Rigorous Requirements Engineering to Formal System Desi... |
170
click to vote
AVI
2008
15 years 8 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
191
click to vote
BIRTHDAY
2003
Springer
15 years 11 months ago
2003
Springer
Abstract: In the automotive and aerospace industry, millions of technical documents are generated during the development of complex engineering products. Particularly, the universa...
164
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
A key question in the field of agent-oriented software engineering is how the kind and extent of autonomy owned by computational agents can be appropriately captured. As long as ...
273
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
226
click to vote
SPATIALCOGNITION
2000
Springer
15 years 9 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...