1855 search results - page 172 / 371 » System Consequence |
155
click to vote
LICS
2007
IEEE
15 years 10 months ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
152
Voted
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
135
click to vote
JFP
2008
15 years 2 months ago
2008
The HM(X) system is a generalization of the Hindley/Milner system parameterized in the constraint domain X. Type inference is performed by generating constraints out of the progra...
149
click to vote
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
Software architectures have played a significant role in determining the success of software systems. In spite of impact of the architectures to the software development and, as a...
152
click to vote
ECRTS
2010
IEEE
15 years 5 months ago
2010
IEEE
It is challenging to support the timeliness of realtime data service requests in data-intensive real-time applications such as online auction or stock trading, while maintaining t...