36320 search results - page 762 / 7264 » From Code to Models |
217
click to vote
PRIMA
2009
Springer
16 years 2 months ago
2009
Springer
Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the trans...
228
click to vote
FIDJI
2003
Springer
16 years 20 days ago
2003
Springer
— We present techniques for analyzing the source code of distributed Java applications, and building finite models of their behaviour. The models are labelled transition systems...
197
click to vote
CODES
1996
IEEE
15 years 11 months ago
1996
IEEE
Successful """tiprocessor system design for complex realtime embedded applications requires powerful and comprehensive. yet cost-effective. productive. and maintain...
210
click to vote
INFOCOM
2003
IEEE
16 years 22 days ago
2003
IEEE
— It has been clear since 1988 that self-propagating code can quickly spread across a network by exploiting homogeneous security vulnerabilities. However, the last few years have...
311
click to vote
STOC
1997
ACM
15 years 11 months ago
1997
ACM
We present randomized constructions of linear-time encodable and decodable codes that can transmit over lossy channels at rates extremely close to capacity. The encoding and decod...