2339 search results - page 231 / 468 » Software processes for the development of electronic commerc... |
198
click to vote
ARCS
2010
Springer
15 years 9 months ago
2010
Springer
Power and resource management are key goals for the success of modern battery-supplied multimedia devices. This kind of devices are usually based on SoCs with a wide range of subsy...
140
click to vote
SEW
2006
IEEE
16 years 15 days ago
2006
IEEE
The Mondex Electronic Purse is an outstanding example of industrial scale formal refinement, and was the first verification to achieve ITSEC level E6 certification. A formal a...
197
click to vote
ICAIL
2005
ACM
16 years 1 days ago
2005
ACM
The Dutch Tax and Customs Administration (DTCA) is one of many organizations that deal with a multitude of electronic legal data, from various sources and in different formats. In...
187
click to vote
VLSID
2004
IEEE
16 years 6 months ago
2004
IEEE
The increasing software content of battery-powered embedded systems has fueled much interest in techniques for developing energyefficient embedded software. Source code transforma...
195
click to vote
INTENSIVE
2009
IEEE
16 years 1 months ago
2009
IEEE
Digital Preservation deals with the long-term storage, access, and maintenance of digital data objects. In order to prevent a loss of information, digital libraries and archives a...