Sciweavers

310 search results - page 39 / 62
» Implementing Java modeling language contracts with AspectJ
Sort
View
ECOOP
2010
Springer
14 years 1 months ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann
EMSOFT
2003
Springer
14 years 1 months ago
Event Correlation: Language and Semantics
Abstract. Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than ...
César Sánchez, Sriram Sankaranarayan...
KBSE
2008
IEEE
14 years 2 months ago
A Generic Approach for Class Model Normalization
Designing and maintaining a huge class model is a very complex task. When an object oriented software or model becomes bigger and bigger, duplicated elements start to appear, decr...
Jean-Rémy Falleri, Marianne Huchard, Cl&eac...
WSC
2007
13 years 10 months ago
Representation and simulation of stochastic petrinet models using xPNML
The paper presents an extensible Petri Net Markup Language (xPNML), which is an extended version of PNML. The xPNML format overcomes limitations associated with PNML structure for...
Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee
EJC
2000
13 years 9 months ago
A Communicating Tree Model for Generating Network Applications
We present a new model for generating network applications. Our model is based on trees communicating with each other. Our model is simple to understand, but yet powerful enough to...
Tomohiro Matsuzaki, Takehiro Tokuda