1305 search results - page 56 / 261 » The design context of concurrent computation systems |
122
click to vote
ISSS
2002
IEEE
15 years 9 months ago
2002
IEEE
We present the modeling of the high-level design of a next generation network switch from the perspective of a ComputerAided Design (CAD) team within the larger context of a desig...
135
Voted
ICST
2008
IEEE
15 years 11 months ago
2008
IEEE
Real-time embedded systems typically include concurrent tasks of different priorities with time-dependent operations accessing common resources. In this context, unsynchronized pa...
128
click to vote
MKM
2009
Springer
15 years 9 months ago
2009
Springer
Sketch recognizers are an important part of the design of natural interfaces for many domains. However, current recognition technology is generally quite crude and difficult to w...
304
click to vote
SACMAT
2011
ACM
14 years 7 months ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we de...
143
Voted
AGP
1995
IEEE
15 years 8 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...