7366 search results - page 680 / 1474 » Development of the Information Systems Implementation Resear... |
192
click to vote
ADBIS
2005
Springer
16 years 22 days ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
202
click to vote
VSTTE
2005
Springer
16 years 20 days 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...
173
click to vote
CEEMAS
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. The complexity associated to Humanitarian Demining becomes very high due to its broad set of activities, which beyond the already complex of landmine removal, includes ot...
179
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Thispaper presents a goal based modeling methodfor agent-oriented software system. In modeling research for agent-oriented software, problems often emerged in that the properties ...
200
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Increasingly, 802.11 devices are being used by mobile users. This results in very dynamic wireless channels that are difficult to use efficiently. Current rate selection algorithm...