4726 search results - page 624 / 946 » Domain Modeling of Software Process Models |
190
click to vote
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— Pulsed neurons are suitable for processing time series data, like sound signals, and can be easy implemented in hardware. In this paper, we propose an aural information process...
192
click to vote
ENTCS
2006
15 years 6 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
189
click to vote
SIGSOFT
2008
ACM
16 years 7 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
188
click to vote
FASE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
178
click to vote
GEOS
2007
Springer
16 years 26 days ago
2007
Springer
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...