Sciweavers

5900 search results - page 459 / 1180
» Dependable Systems
Sort
View
ECOOP
2000
Springer
15 years 11 months ago
Ionic Types
Abstract. We are interested in the class of systems for which the satisfaction of code dependencies is a dynamic process rather than one which is determined purely at load-time. Ex...
Simon A. Dobson, Brian Matthews
AOSD
2007
ACM
15 years 11 months ago
Tribe: a simple virtual class calculus
Beginning with BETA, a range of programming language mechanisms such as virtual classes (class-valued attributes of objects) have been developed to allow inheritance in the presen...
Dave Clarke, Sophia Drossopoulou, James Noble, Tob...
WWW
2006
ACM
16 years 7 months ago
Web annotation sharing using P2P
We have developed a system that allows users to add annotations immediately onto a Web page they are viewing, and share the information via a network. A novel feature of our metho...
Osamu Segawa
EXPERT
2007
98views more  EXPERT 2007»
15 years 6 months ago
Adopting Software Engineering Trends in AI
three levels of abstraction in system modeling. Computation Independent Model (CIM) corresponds to the system's domain model and is similar to the domain ontology. It does not...
Dragan Djuric, Vladan Devedzic, Dragan Gasevic
SEUS
2008
IEEE
16 years 1 months ago
Delay-Aware Mobile Transactions
In the expanding e-society, mobile embedded systems are increasingly used to support transactions such as for banking, stock or database applications. Such systems entail a range o...
Brahim Ayari, Abdelmajid Khelil, Neeraj Suri