2836 search results - page 466 / 568 » Model Checking for Software Architectures |
179
click to vote
EUROPAR
1997
Springer
15 years 10 months ago
1997
Springer
Instruction scheduling in general, and software pipelining in particular face the di cult task of scheduling operations in the presence of uncertain latencies. The largest contrib...
165
click to vote
ICSE
2007
IEEE-ACM
16 years 6 months ago
2007
IEEE-ACM
Database-centric information systems are critical to the operations of large organisations. In particular, they often process a large amount of data with stringent performance req...
154
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
170
click to vote
BIS
2006
15 years 7 months ago
2006
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
267
click to vote
VL
2010
IEEE
15 years 4 months ago
2010
IEEE
SOFIA (Artemis project: http://www.sofiaproject.eu/) focuses on answering the challenge of creating smart environments and its goal is to make information that resides in the phys...