1888 search results - page 262 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
132
click to vote
RTSS
2000
IEEE
15 years 9 months ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...
139
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
To ensure that a trust negotiation succeeds whenever possible, authorization policy compliance checkers must be able to find all minimal sets of their owners' credentials tha...
130
click to vote
ISORC
2009
IEEE
15 years 11 months ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
140
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
When building enterprise applications that need to be accessed through a variety of client devices, developers usually strive to implement most of the business logic device-indepen...
149
click to vote
CSREAESA
2008
15 years 6 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...