Sciweavers

307 search results - page 32 / 62
» java 2000
Sort
View
AAAI
2000
13 years 9 months ago
Property Mapping: A Simple Technique for Mobile Robot Programming
The mobile robot programming problem is a software engineering challenge that is not easily conquered using contemporary software engineering best practices. We propose robot obse...
Illah R. Nourbakhsh
KBSE
2000
IEEE
14 years 1 days ago
Model Checking Programs
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
Willem Visser, Klaus Havelund, Guillaume P. Brat, ...
JECR
2000
85views more  JECR 2000»
13 years 7 months ago
Real-Time Multi-Auctions and the Agent-Support
Electronic auctions have become popular. Recently, multicast technology is changing the Internet environment for e-commerce, and will make available more forms of auctions than we...
Hong Liu, Shouhong Wang, Fei Teng
IRMA
2000
13 years 9 months ago
EMC - A modeling method for developing web-based applications
Early information systems were mainly built around secondary, administrative processes of the value chain (e.g. accounting). But since the internet came into use, more and more pr...
Peter Rittgen
OOPSLA
2000
Springer
13 years 11 months ago
An approach to safe object sharing
It is essential for security to be able to isolate mistrusting programs from one another, and to protect the host platform from programs. Isolation is difficult in object-oriented...
Ciarán Bryce, Chrislain Razafimahefa