1077 search results - page 160 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
OTM
2009
Springer
14 years 2 months ago
2009
Springer
The need for semantics preserving integration of complex data has been widely recognized in the healthcare domain. While standards such as Health Level Seven (HL7) have been develo...
PLDI
2003
ACM
14 years 27 days ago
2003
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected and nondeterministic interactions between threads. Previous work addressed th...
SPATIALCOGNITION
2000
Springer
13 years 11 months ago
2000
Springer
The paper analyzes a diagrammatic reasoning problem that consists in finding a graphical layout which simultaneously satisfies a set of constraints expressed in a formal language a...
DEXAW
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract— Experts are capable of performing complex tasks in their specific field of expertise. To do this, they use a vast amount of explicit and tacit domain knowledge. For v...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
This paper shows how software engineering technologies used to define and analyze complex software systems can also be effective in detecting defects in human-intensive processes ...