795 search results - page 65 / 159 » A Formal Approach to Heterogeneous Software Modeling |
100
click to vote
ECRTS
2000
IEEE
15 years 5 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
84
Voted
CSSE
2004
IEEE
15 years 11 days ago
2004
IEEE
One of the most important features of XML-based Web services is that they can be easily accessed over the Internet, but this makes them vulnerable to a series of security threats....
109
click to vote
SOCO
2008
Springer
15 years 13 days ago
2008
Springer
Abstract. Extensible Component Platforms support the discovery, installation, starting, uninstallation of components at runtime. Since they are often targeted at mobile resource-co...
101
click to vote
ACMSE
2000
ACM
15 years 4 months ago
2000
ACM
We present the background and justi cation for a new approachto studying computation and computational complexity. We focus on categories of problems and categories of solutions w...
112
Voted
DALT
2009
Springer
15 years 7 months ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...