1100 search results - page 143 / 220 » From Goals to Aspects: Discovering Aspects from Requirements... |
169
click to vote
CICLING
2005
Springer
15 years 12 months ago
2005
Springer
We are presenting a description of the UNL initiative based on the Universal Networking Language (UNL). This language was conceived to be the support of the multilingual communicat...
172
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
156
click to vote
CAISE
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes the evolution and the results of the research work carried out by the IRIS group in the field of enterprise integration. This research work began with the ARD...
170
click to vote
HICSS
2003
IEEE
15 years 11 months ago
2003
IEEE
It has been over two decades since Group Support Systems (GSS) emerged on the Information Technology (IT) scene. GSS have now been commercialized and are present in an increasing ...
194
click to vote
DAGSTUHL
2001
15 years 7 months ago
2001
Planetary rovers are small unmanned vehicles equipped with cameras and a variety of sensors used for scientific experiments. They must operate under tight constraints over such res...