676 search results - page 80 / 136 » A theory of aspects |
APSEC
2000
IEEE
15 years 5 months ago
2000
IEEE
It has been recognised that formal methods are useful as a modelling tool in requirements engineering. Specification languages such as Z permit the precise and unambiguous modell...
85
Voted
AAMAS
2008
Springer
15 years 21 days ago
2008
Springer
Despite several examples of deployed agent systems, there remain barriers to the large-scale adoption of agent technologies. In order to understand these barriers, this paper consi...
CORR
2008
Springer
15 years 19 days ago
2008
Springer
We study the one-way number-on-the-forehead (NOF) communication complexity of the k-layer pointer jumping problem with n vertices per layer. This classic problem, which has connec...
123
click to vote
VR
2010
IEEE
14 years 11 months ago
2010
IEEE
We present the development and evaluation of the Virtual Experience Test (VET). The VET is a survey instrument used to measure holistic virtual environment experiences based upon ...
108
Voted
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
Mapping biology into computation has both a domain specific aspect – biological theory – and a methodological aspect – model development. Computational modelers have implici...