2015 search results - page 76 / 403 » Hidden Software Capabilities |
ACMICEC
2006
ACM
14 years 3 months ago
2006
ACM
As third party logistic services become popular, the role of software agents increases in importance in terms of the logistics scheduling of buyers and sellers. To support many mo...
EUROMICRO
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper describes DTC (Documents, Transformations and Components), our approach to the XML-based development of content-intensive applications. According to this approach, the ...
ISPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
Multiplication of mobile devices and generalized use of wireless networks imply changes on the design and execution of distributed software applications targeting ubiquitous compu...
CD
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
SPIN
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...