69 search results - page 7 / 14 » A Qualitative Formalization of Built Environments |
93
Voted
COSIT
2009
Springer
15 years 7 months ago
2009
Springer
Formal models of geographic space should support reasoning about its static and dynamic properties, its objects, their behaviors, and the relationships between them. Image schemas,...
131
click to vote
IJBIS
2010
14 years 9 months ago
2010
: The increasing intensity of global competition and the rapid advances in information technology (IT) have led organisations to search for more efficient and effective ways to man...
100
click to vote
LCN
2005
IEEE
15 years 6 months ago
2005
IEEE
— As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the function...
ASE
2008
15 years 17 days ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
IAT
2006
IEEE
15 years 6 months ago
2006
IEEE
Within many domains, among which biological and cognitive areas, multiple interacting processes occur among agents with dynamics that are hard to handle. Current approaches to ana...