1246 search results - page 120 / 250 » Tool Support for Helping the Use of Frameworks |
MOBISYS
2004
ACM
14 years 8 months ago
2004
ACM
Privacy is the most often-cited criticism of ubiquitous computing, and may be the greatest barrier to its long-term success. However, developers currently have little support in d...
ITICSE
2003
ACM
14 years 2 months ago
2003
ACM
This paper presents HTTPExplorer, an interactive tool to explore the Hypertext Transfer Protocol. The intention is to use the tool in a course on web-based applications to support...
EKAW
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
ATVA
2006
Springer
14 years 24 days ago
2006
Springer
We present the implementation of the trace theory in a new model checking tool framework, POEM, that has a strong emphasis on Partial Order Methods. A tree structure is used to sto...
ECMDAFA
2006
Springer
14 years 22 days ago
2006
Springer
There is little agreement on terminology in model composition, and even less on key characteristics of a model composition solution. We present three composition frameworks: the At...