809 search results - page 102 / 162 » Formal Semantics for the Java Modeling Language |
159
Voted
ISORC
1998
IEEE
15 years 6 months ago
1998
IEEE
We present a coordination language and its semantics for specification and implementation of object-oriented realtime systems. Real-time systems operate under real-time constraint...
115
Voted
ISPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
140
Voted
DASFAA
2005
IEEE
15 years 8 months ago
2005
IEEE
In the past decade, researchers have combined deductive and object-oriented features to produce systems that are powerful and have excellent modeling capabilities. More recently, a...
103
Voted
GPCE
2007
Springer
15 years 8 months ago
2007
Springer
Programming in an open environment remains challenging because it requires combining modularity, security, concurrency, distribution, and dynamicity. In this paper, we propose an ...
146
Voted
CODES
2008
IEEE
15 years 4 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...