Sciweavers

1458 search results - page 79 / 292
» System Model-Based Definition of Modeling Language Semantics
Sort
View
UML
2004
Springer
15 years 3 months ago
Test Driven Development of UML Models with SMART Modeling System
Abstract. We are developing a methodology of Test-Driven Development of Models (TDDM) based on an experimental UML2.0 modeling tool SMART. Our experience shows that TDDM is quite u...
Susumu Hayashi, Pan YiBing, Masami Sato, Kenji Mor...
ICDE
2002
IEEE
129views Database» more  ICDE 2002»
15 years 11 months ago
Active XQuery
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
Angela Bonifati, Daniele Braga, Alessandro Campi, ...
ICFP
2006
ACM
15 years 9 months ago
Static typing for a faulty lambda calculus
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
David Walker, Lester W. Mackey, Jay Ligatti, Georg...
HSNMC
2004
Springer
130views Multimedia» more  HSNMC 2004»
15 years 3 months ago
Benefits of Using Ontologies in the Management of High Speed Networks
Network management is an area where many different technologies coexist. Several languages are used to define the information to be managed, which are specific of each management m...
Jorge E. López de Vergara, Víctor A....
WWW
2003
ACM
15 years 10 months ago
?-Queries: enabling querying for semantic associations on the semantic web
This paper presents the notion of Semantic Associations as complex relationships between resource entities. These relationships capture both a connectivity of entities as well as ...
Kemafor Anyanwu, Amit P. Sheth