1879 search results - page 222 / 376 » Integrating motivations with planning |
ATVA
2007
Springer
14 years 2 months ago
2007
Springer
Automated software verification has made great progress recently, and a key enabler of this progress has been the advances in efficient, automated decision procedures suitable fo...
IFIP
2007
Springer
14 years 2 months ago
2007
Springer
The shift of development effort onto the model level, as postulated by MDA, provides an opportunity for establishing a set of modelling constructs that is more intuitive and homoge...
MLMI
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This article presents an ego-centric approach for indexing and browsing meetings. The method considers two concepts: meetings’ data alignment with personal information ...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Service Oriented Architecture (SOA) has been developed to enhance the integration of various systems to allow organizations to be more flexible in case of business changes. This pa...
OTM
2007
Springer
14 years 2 months ago
2007
Springer
Mobile hypermedia applications combine the well-known advantages of the navigational paradigm of the Web with the capabilities of location-aware software. However, there are some s...