11653 search results - page 277 / 2331 » The Development of the C Language |
155
click to vote
WSE
2005
IEEE
16 years 8 days ago
2005
IEEE
The growing need for personalization and device independence calls for effective ways of engineering adaptive Web applications. This requires formats, languages and structured pro...
161
click to vote
ATAL
2005
Springer
16 years 7 days ago
2005
Springer
The work we present here is mainly concerned with interagent communication, MAS communication protocols and, in particular, software tools and environments to define, experiment a...
214
click to vote
ICCS
2004
Springer
16 years 2 days ago
2004
Springer
The Data Driven Design Optimization Methodology (DDDOM) is a Dynamic Data Driven Application System (DDDAS) developed for engineering design optimization. The DDDOM synergizes expe...
153
click to vote
PEPM
2004
ACM
16 years 1 days ago
2004
ACM
This paper presents a novel editor supporting interactive refinement in the development of structured documents. The user performs a sequence of editing operations on the documen...
150
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
This paper presents experiments on formal validation of Java applets. It describes a tool that has been developed at the Gemplus Research Labs. This tool allows to formally prove J...