Sciweavers

5591 search results - page 883 / 1119
» Design patterns: between programming and software design
Sort
View
GI
2004
Springer
15 years 10 months ago
Tuplespace-Based Collaboration for Bluetooth-Enabled Devices in Smart Environments
: Smart environments are often populated by resource-restricted devices that need to cooperate with each other in order to access remote sensors and benefit from other devices’ ...
Frank Siegemund, Pascal Keller
131
Voted
WISE
2002
Springer
15 years 10 months ago
An XML Specification Language to Support a Virtual Marketplace of Data Mining E-Services
The emergence of Application Service Providers (ASP) hosting Internet-based data mining services is being seen as a viable alternative for organisations that value their knowledge...
Shonali Krishnaswamy, E. P. See, J. N. Ho, W. Guna...
ISORC
2000
IEEE
15 years 9 months ago
Structural and Behavioral Decomposition in Object Oriented Models
The decomposition of large systems into parts is a general principle of software design. Even more, in the scope of distributed systems a partition of the whole system into distri...
Joachim Fischer, Eckhardt Holz, Birger Møll...
142
Voted
TPHOL
1996
IEEE
15 years 9 months ago
Importing Mathematics from HOL into Nuprl
Nuprl and HOL are both tactic-based interactive theorem provers for higher-order logic, and both have been used in many substantial applications over the last decade. However, the ...
Douglas J. Howe
130
Voted
EUC
2004
Springer
15 years 8 months ago
Hardware Mediators: A Portability Artifact for Component-Based Systems
Abstract. In this article we elaborate on portability in componentbased operating systems, focusing in the hardware mediator construct proposed by Frhlich in the Application-Orient...
Fauze Valério Polpeta, Antônio August...