614 search results - page 80 / 123 » The Power of Methods With Parallel Semantics |
95
Voted
AIMS
2007
Springer
15 years 6 months ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...
89
Voted
CORR
2007
Springer
15 years 15 days ago
2007
Springer
: User’s perception of product, by essence subjective, is a major topic in marketing and industrial design. Many methods, based on users’ tests, are used so as to characterise ...
107
Voted
MEMOCODE
2007
IEEE
15 years 6 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
114
click to vote
FASE
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
134
Voted
EDBTW
2006
Springer
15 years 4 months ago
2006
Springer
A data stream management system executes a large number of continuous queries in parallel. As stream characteristics and query workload change over time, the plan initially install...