14169 search results - page 112 / 2834 » Tabular application development |
154
click to vote
FLAIRS
2000
15 years 6 months ago
2000
The paper presents a survey of the VSE system, a kind of CASE-tool for formal software development. It is a summary of a tutorial presentation describing methodology, formalisms, ...
150
click to vote
AAMAS
1998
Springer
15 years 4 months ago
1998
Springer
This paper provides an overview of research and development activities in the field of autonomous agents and multi-agent systems. It aims to identify key concepts and applications...
160
click to vote
CLOUD
2010
ACM
15 years 10 months ago
2010
ACM
Over the last 10–15 years, our industry has developed and deployed many large-scale Internet services, from e-commerce to social networking sites, all facing common challenges i...
155
click to vote
GRID
2007
Springer
15 years 4 months ago
2007
Springer
Abstract Service-oriented architectures and applications have gained wide acceptance in the Grid computing community. A number of tools and middleware systems have been developed t...
147
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
Automotive systems engineering has made significant progress in using formal methods to design safe hardware-software systems. The architectures and design methods could become a ...