1636 search results - page 257 / 328 » Reasoning About Quantum Systems |
159
click to vote
MODELS
2009
Springer
16 years 21 days ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
169
click to vote
AGENTS
1997
Springer
15 years 10 months ago
1997
Springer
This paper discusses conditions under which some of the “higher level” mental concepts applicable to human beings might also be applicable to artificial agents. The key idea ...
144
click to vote
CHI
2009
ACM
15 years 9 months ago
2009
ACM
We conducted a field-based study examining informal nursing information. We examined the use of this information before and after the adoption of a CPOE (Computerized Provider Ord...
264
click to vote
GIS
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
184
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Current trends in software development show a move towards supporting autonomous components (agents). The accurate timing of interactions between such components is growi...