6794 search results - page 822 / 1359 » Semantics of Visual Languages |
152
click to vote
SEMWEB
2001
Springer
15 years 11 months ago
2001
Springer
Querying the Web today can be a frustrating activity because the results delivered by syntactically oriented search engines often do not match the intentions of the user. The DARP...
180
click to vote
ICDCS
1996
IEEE
15 years 11 months ago
1996
IEEE
Access to large numbers of data sources introduces new problems for users of heterogeneous distributed databases. End users and application programmers must deal with unavailable ...
180
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
170
click to vote
AOSD
2008
ACM
15 years 9 months ago
2008
ACM
There has been a lot of debate about the modularity of aspectoriented programs, and in particular the ability to reason about such programs in a modular way, although it has never...
194
click to vote
ESOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The concurrent constraint pi-calculus (cc-pi-calculus) has been introduced as a model for concluding Service Level Agreements. The cc-pi calculus combines the synchronous...