3765 search results - page 261 / 753 » Formal Methods for Systems Engineering Behavior Models |
165
click to vote
CAV
2007
Springer
16 years 25 days ago
2007
Springer
Programs typically make extensive use of libraries, including dynamically linked libraries, which are often not available in source-code form, and hence not analyzable by tools tha...
165
click to vote
ICECCS
2000
IEEE
15 years 11 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
221
click to vote
IHIS
2005
ACM
16 years 6 days ago
2005
ACM
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
176
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Upper bounds on worst-case execution times, which are commonly called WCET, are a prerequisite for validating the temporal correctness of tasks in a real-time system. Due to the e...
171
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
In this paper, we propose a Collaborative Knowledge Semantic Graphs Image Search (CKSGIS) system. It provides a novel way to conduct image search by utilizing the collaborative na...