1604 search results - page 228 / 321 » Development Separation in Lambda-Calculus |
89
Voted
SAC
2010
ACM
15 years 2 months ago
2010
ACM
Service-oriented architecture (SOA) is a relatively new approach to software system development. It divides system functionality to independent, loosely coupled, interoperable ser...
115
Voted
ECAI
2008
Springer
15 years 2 months ago
2008
Springer
We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: applying default property classification rules in static domains, and d...
131
Voted
ECMDAFA
2008
Springer
15 years 2 months ago
2008
Springer
Human participation in business processes needs to be addressed in process modeling. BPEL4People with WS-HumanTask covers this concern in the context of BPEL. Bound to specific wor...
99
Voted
ESTIMEDIA
2008
Springer
15 years 2 months ago
2008
Springer
This paper is concerned about multitasking embedded software development from the system specification to the final implementation including design space exploration(DSE). In the ...
106
Voted
BILDMED
2007
15 years 2 months ago
2007
Abstract. Contemporary picture archiving and communication systems are limited in managing large and varied image collections, because content-based image retrieval (CBIR) methods ...