809 search results - page 157 / 162 » Formal Semantics for the Java Modeling Language |
IRCDL
2008
13 years 8 months ago
2008
Annotation and retrieval tools for multimedia digital libraries have to cope with the complexity of multimedia content. In particular, when dealing with video content, annotation ...
ENTCS
2006
13 years 7 months ago
2006
Technologies for overcoming heterogeneities between autonomous data sources are key in the emerging networked world. In this paper we discuss the initial results of a formal inves...
IGPL
2010
13 years 4 months ago
2010
This paper introduces and studies a new type of logical construction, which allows to combine various non-classical propositional logics with the temporal or modal background. The...
SAC
2004
ACM
14 years 25 days ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
ASE
2007
13 years 7 months ago
2007
Knowing which associations are compositions is important in a tool for the reverse engineering of UML class diagrams. Firstly, recovery of composition relationships bridges the ga...