3828 search results - page 123 / 766 » Proof-Based System Engineering Using a Virtual System Model |
167
Voted
ICADL
2004
Springer
15 years 10 months ago
2004
Springer
This paper presents our implementation techniques for an intelligent Web image search engine. A reference architecture of the system is provided and addressed in this paper. The s...
155
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
The Unified Software Development Process (USDP) and Unified Modeling Language (UML) have been now generally accepted as the standard methodology and modeling language for developin...
152
Voted
AC
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
148
click to vote
CF
2008
ACM
15 years 7 months ago
2008
ACM
This paper contributes and evaluates a model and a methodology for implementing parallel wavefront algorithms on the Cell Broadband Engine. Wavefront algorithms are vital in sever...
168
click to vote
ICSEA
2006
IEEE
15 years 11 months ago
2006
IEEE
—Stochastic activity networks (SANs) are a stochastic generalization of Petri nets. SAN models have been used to evaluate a wide range of systems and are supported by several mod...