4755 search results - page 142 / 951 » An Implementation Model for Collaborative Applications |
TWC
2008
13 years 8 months ago
2008
Event boundary detection is in and of itself a useful application in wireless sensor networks (WSNs). Typically, it includes the detection of a large-scale spatial phenomenon such ...
ASWC
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We propose a conceptual model for semantic search and implement it in security access control. The model provides security access control to extend the search capabilitie...
ICWE
2009
Springer
14 years 2 months ago
2009
Springer
Model-driven engineering is a promising approach, but there are still many hurdles to overcome. The tool UWE4JSF solves the hurdles for the model-driven development of web applicat...
ICWE
2009
Springer
14 years 2 months ago
2009
Springer
Adequate tool support is a crucial factor of success for a software development method or technique. In this paper, we present the MagicUWE tool, that supports systematic design of...
ASE
2004
13 years 8 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...