12333 search results - page 620 / 2467 » System Level Modelling for Hardware Software Systems |
230
click to vote
ICAI
2003
15 years 8 months ago
2003
Reasoning about capabilities in multi-agent systems is crucial for many applications. There are two aspects of reasoning about the capabilities of an agent to achieve its goals. O...
195
click to vote
WISA
2005
Springer
16 years 19 days ago
2005
Springer
Abstract. Reverse engineering of executable programs, by disassembling them and then using program analyses to recover high level semantic information, plays an important role in a...
184
click to vote
DATE
2005
IEEE
16 years 24 days ago
2005
IEEE
Embedded software continues to play an ever increasing role in the design of complex embedded applications. In part, the elevel of abstraction provided by a high-level programming...
200
click to vote
ATC
2007
Springer
16 years 1 months ago
2007
Springer
We present a system architecture for trusted transactions in highly sensitive environments. This architecture takes advantage of techniques provided by the Trusted Computing Group ...
169
click to vote
SAC
2008
ACM
15 years 6 months ago
2008
ACM
There exists a growing class of distributed applications that require adaptive middleware services, i.e., services that are able to monitor changes in the execution environment an...