2088 search results - page 160 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
202
click to vote
MEDES
2009
ACM
16 years 1 months ago
2009
ACM
The evolution of service-oriented architectures towards digital ecosystems comprehends a number of challenges. According to Papazoglou et al., one challenge is to develop services...
188
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
Instruments and sensors are the primary sources of data driving science and the development and refinement of theory. A critical component of eresearch yet to be clarified is the ...
179
click to vote
IADT
1998
15 years 8 months ago
1998
Multimedia Database Management Systems (MMDBMS) have to efficiently provide the specific functionalities required by time-dependent multimedia data types. During presentation play...
218
click to vote
IEEESCC
2010
IEEE
15 years 4 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
297
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...