1606 search results - page 198 / 322 » XML-based programming language modeling: An approach to soft... |
274
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
175
click to vote
APSEC
1996
IEEE
15 years 10 months ago
1996
IEEE
Explosive increase in end-user computing on distributed systems requires that end-users develop application software by themselves. One solution is given as aformula of "adom...
193
click to vote
CASES
2007
ACM
15 years 9 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
200
click to vote
PAAMS
2009
Springer
15 years 10 months ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...
178
Voted
PPPJ
2006
ACM
15 years 11 months ago
2006
ACM
Today’s complex applications must face the distribution of data and code among different network nodes. Java is a wide-spread language that allows developers to build complex so...