Sciweavers

826 search results - page 138 / 166
» A Pragmatic Approach to Formalizing Object-Oriented Modeling...
Sort
View
ICFEM
2009
Springer
16 years 1 days ago
Qualitative Action Systems
An extension to action systems is presented facilitating the modeling of continuous behavior in the discrete domain. The original action system formalism has been developed by Back...
Bernhard K. Aichernig, Harald Brandl, Willibald Kr...
WISE
2008
Springer
15 years 12 months ago
Requirements for Rich Internet Application Design Methodologies
Rich Internet Applications (RIAs) are quickly becoming the de facto standard for interactive web applications on the Internet, featuring rich interfaces that increase user usabilit...
Jevon M. Wright, Jens Dietrich
IEEESCC
2005
IEEE
15 years 11 months ago
Web Service Discovery Based on Behavior Signatures
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
Zhongnan Shen, Jianwen Su
150
Voted
DLOG
2009
15 years 3 months ago
Revision of DL-Lite Knowledge Bases
Abstract. We address the revision problem for knowledge bases (KBs) in Description Logics (DLs). This problem has received much attention in the ontology management and DL communit...
Zhe Wang, Kewen Wang, Rodney W. Topor
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 9 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...