Sciweavers

713 search results - page 63 / 143
» Syntax and Semantics of Babel-17
Sort
View
ASWEC
2005
IEEE
15 years 6 months ago
A Formal Method for Program Slicing
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
Yingzhou Zhang, Baowen Xu, José Emilio Labr...
ADBIS
2005
Springer
127views Database» more  ADBIS 2005»
15 years 6 months ago
Three Layer Evolution Model for XML Stored in Relational Databases
XML-relational systems with well defined XML and relational schemas are widely used in industry. In the presence of rapidly changing requirements both schemas of such a model need...
Andrey Simanovsky
DSVIS
2005
Springer
15 years 6 months ago
Mapping ConcurTaskTrees into UML 2.0
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
Leonel Nóbrega, Nuno Jardim Nunes, Helder C...
104
Voted
OTM
2005
Springer
15 years 6 months ago
Multidimensional RDF
RDF has been proposed by W3C as a metadata model and language for representing information about resources in WWW. In this paper we introduce Multidimensional RDF (or MRDF), as an ...
Manolis Gergatsoulis, Pantelis Lilis
90
Voted
ATAL
2003
Springer
15 years 5 months ago
Expressive global protocols via logic-based electronic institutions
Communication is the key feature of Multi-agent Systems. The interactions among components of a system may take many distinct forms of increasing complexity such as in auctions, n...
Wamberto Weber Vasconcelos