3765 search results - page 610 / 753 » Formal Methods for Systems Engineering Behavior Models |
191
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: Reuse of software entities such as components or Web services raise composition issues since, most of the time, they present mismatches in their interfaces. These mismatc...
185
click to vote
EVOW
2007
Springer
16 years 20 days ago
2007
Springer
Understanding the self-regulatory mechanisms controlling the spatial and temporal structure of multicellular organisms represents one of the major challenges in molecular biology. ...
140
click to vote
PDP
2007
IEEE
16 years 23 days ago
2007
IEEE
Scientific and engineering programming has been around since the beginning of computing, often being the driving force for new system development and innovation. At the same time...
187
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
In most web sites, web-based applications (such as web portals, emarketplaces, search engines), and in the file systems of personal computers, a wide variety of schemas (such as t...
154
click to vote
CAV
2004
Springer
15 years 12 months ago
2004
Springer
The logic of equality with uninterpreted functions (EUF) and its extensions have been widely applied to processor verification, by means of a large variety of progressively more s...