3481 search results - page 289 / 697 » Architecture as Object Models of Software |
190
click to vote
PDP
2003
IEEE
15 years 12 months ago
2003
IEEE
Over the last decade, a dramatic increase has been observed in the need for generating and organising data in the course of large parameter studies, performance analysis, and soft...
131
click to vote
EUROMICRO
2002
IEEE
15 years 11 months ago
2002
IEEE
Early assessment of the non-functional properties of component compositions is one of the hottest issues in component-based architecting. We describe a method for evaluating the e...
176
click to vote
HICSS
1995
IEEE
15 years 10 months ago
1995
IEEE
The architecture for a shared memory CPU is described. The CPU allows for parallelism down to the level of single instructions and is tolerant of memory latency. All executable in...
201
click to vote
SCP
2010
15 years 1 months ago
2010
Current software development often relies on non trivial coordination logic for combining autonomous services, eventually running on different platforms. As a rule, however, such ...
145
click to vote
SIGSOFT
2005
ACM
16 years 7 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...