200 search results - page 38 / 40 » Sketching valuation functions |
75
Voted
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
ICRA
2008
IEEE
15 years 3 months ago
2008
IEEE
— Local linearizations are ubiquitous in the control of robotic systems. Analytical methods, if available, can be used to obtain the linearization, but in complex robotics system...
78
Voted
WPES
2005
ACM
15 years 3 months ago
2005
ACM
Radio Frequency Identification (RFID) technology raises significant privacy issues because it enables tracking of items and people possibly without their knowledge or consent. O...
ACSAC
2002
IEEE
15 years 2 months ago
2002
IEEE
When admitting electronic media as a means for citizens to approach public authorities – i.e., when advancing official proceedings towards e-Government – security is an indisp...
DEXAW
1998
IEEE
15 years 1 months ago
1998
IEEE
A mechanistic view of software component assembly implies exact matching and fitting of the particular components. We argue that components for large-scale software construction s...