2765 search results - page 383 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
163
click to vote
RE
2009
Springer
16 years 1 months ago
2009
Springer
![[vem: xi: ] - A Methodology for Process Based Requirements Engineering](http://sciweavers.com/files/imagecache/thumbnail/default/content.jpg "[vem: xi: ] - A Methodology for Process Based Requirements Engineering")
Service-oriented architectures (SOA) aim at the alignment of business and IT by having a clear business process-centric focus. In order to reach that goal, real-world business pro...
168
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Service and process-oriented systems promise to provide more effective business and work processes and more flexible and adaptable enterprise IT systems. However, the t...
220
click to vote
CASES
2006
ACM
16 years 16 days ago
2006
ACM
Developing an optimizing compiler for a newly proposed architecture is extremely difficult when there is only a simulator of the machine available. Designing such a compiler requ...
153
click to vote
ESOP
2007
Springer
16 years 22 days ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
224
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. The Bayesian approach to machine learning amounts to inferring posterior distributions of random variables from a probabilistic model of how the variables are related (th...