1609 search results - page 251 / 322 » Generating Application Development Environments for Java Fra... |
LCN
2007
IEEE
15 years 4 months ago
2007
IEEE
—Vehicular networks face a typical quandary in their requirement for communications that are at once secure and private. While the messages broadcast between vehicles and between...
ADBIS
2006
Springer
15 years 3 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
OOIS
2001
Springer
15 years 2 months ago
2001
Springer
A model-driven reuse approach that is based on an organization’s Enterprise Architecture (EA) and on the Unified Modeling Language (UML) is proposed. The framework embodying th...
HCW
1999
IEEE
15 years 2 months ago
1999
IEEE
The MILAN project, a joint effort involving Arizona State University and New York University, has produced and validated fundamental techniques for the realization of efficient, r...
107
click to vote
SDL
2001
14 years 11 months ago
2001
Abstract. We describe an approach for the verification of quantitative temporal properties of SDL specifications, which adapts techniques developed for timed automata [2]. With res...