6762 search results - page 308 / 1353 » Multiple drafts model |
130
click to vote
EMSOFT
2010
Springer
15 years 4 months ago
2010
Springer
Automotive architectures consist of multiple electronic control units (ECUs) which run distributed control applications. Such ECUs are connected to sensors and actuators and commu...
167
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
We consider the multiplicative and exponential fragment of linear logic (MELL) and give a Geometry of Interaction (GoI) semantics for it based on unique decomposition categories. ...
183
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
160
click to vote
WETICE
1999
IEEE
15 years 11 months ago
1999
IEEE
Our Workgroup Cache system operates as a virtual intranet, introducing a shared cache to members of the same workgroup. Users may be members of multiple workgroups at the same tim...
145
click to vote
DAC
1997
ACM
15 years 11 months ago
1997
ACM
Many co-simulation techniques either suffer from poor performance when simulating communications intensive systems, or they represent communications with a uniformly low level of ...