Sciweavers

2145 search results - page 172 / 429
» Architectural Specifications in CASL
Sort
View
DSML
2008
116views Formal Methods» more  DSML 2008»
15 years 8 months ago
Bidirectional Synchronization of Multiple Views of Software Models
: Current best-practices for defining Domain-Specific Modeling Languages call for metamodeling techniques, which do not take into account the future use of such languages in multiv...
Miguel Garcia
FLAIRS
2001
15 years 8 months ago
Integrating Task, Role, and User Modeling in Organizational Memories
In application areas like personal information agents user modelstypically maintain sophisticated representations of personal interest profiles. Theserepresentations can be utiliz...
Ludger van Elst, Andreas Abecker
IADIS
2003
15 years 8 months ago
Modelling Adaptive Web Applications
Conceptual Modelling approaches for the web need extensions to specify dynamic personalization properties in order to design more powerful web applications. Current approaches pro...
Irene Garrigós, Jaime Gómez, Cristin...
ESORICS
2010
Springer
15 years 7 months ago
Verifying Security Property of Peer-to-Peer Systems Using CSP
Due to their nature, Peer-to-Peer (P2P) systems are subject to a wide range of security issues. In this paper, we focus on a specific security property, called the root authenticit...
Tien Tuan Anh Dinh, Mark Ryan
KES
2008
Springer
15 years 6 months ago
EasyLife: A Location-Aware Service Oriented Mobile Information System
Many examples of Location-aware services have been developed in recent years as the enabling technologies mature. However, these services frequently exist in isolation and address ...
J. M. Shen, Michael J. O'Grady, Gregory M. P. O'Ha...