Sciweavers

5189 search results - page 202 / 1038
» Modeling architectural patterns using architectural primitiv...
Sort
View
110
Voted
SIGSOFT
2007
ACM
16 years 1 months ago
Model checking service compositions under resource constraints
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
David S. Rosenblum, Howard Foster, Jeff Kramer, Je...
ISQED
2007
IEEE
160views Hardware» more  ISQED 2007»
15 years 7 months ago
On-Chip Inductance in X Architecture Enabled Design
The inductance effects become significant for sub-100nm process designs due to increasing interconnect lengths, lower interconnect resistance values and fast signal transition tim...
Santosh Shah, Arani Sinha, Li Song, Narain D. Aror...
IEEEAMS
2002
IEEE
15 years 5 months ago
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
Christopher Dabrowski, Kevin L. Mills, Jesse Elder
107
Voted
EUROMICRO
2006
IEEE
15 years 6 months ago
Moving Architectural Description from Under the Technology Lamppost
Software architecture description languages (ADLs) were a particularly active research area in the 1990s. In 2000, we published an extensive study of existing ADLs, which has serv...
Nenad Medvidovic
108
Voted
ICSM
2003
IEEE
15 years 6 months ago
Software Systems Integration and Architectural Analysis - A Case Study
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
Rikard Land, Ivica Crnkovic