5984 search results - page 377 / 1197 » The Informal Nature of Systems Engineering |
179
click to vote
SEKE
2005
Springer
16 years 9 days ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
148
click to vote
ITC
2003
IEEE
16 years 3 days ago
2003
IEEE
Electrical testing of MicroElectroMechanical Systems (MEMS) can take on many different forms including wafer probing, electrical trimming, final test at temperatures, engineering ...
222
click to vote
MOBICOM
2004
ACM
16 years 7 days ago
2004
ACM
Future vehicular networks are expected to deploy shortrange communication technology for inter-vehicle communication. In addition to vehicle-to-vehicle communication, users will b...
202
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
instruments. A melody expresses abstract artistic conception or emotion. The explanation ability plays the key role in the externalization and internalization from one form of expr...
218
click to vote
ADAPTIVE
2007
Springer
15 years 8 months ago
2007
Springer
With the exponential growth of the available information on the World Wide Web, a traditional search engine, even if based on sophisticated document indexing algorithms, has diffi...