1188 search results - page 174 / 238 » Testing Semantics: Connecting Processes and Process Logics |
134
Voted
ISMVL
2000
IEEE
15 years 8 months ago
2000
IEEE
We have developed two novel methods of fabricating very small Si single-electron transistors (SETs), called PAtternDependent OXidation (PADOX) and Vertical PAttern-Dependent OXida...
115
click to vote
WSC
2007
15 years 6 months ago
2007
Workflow analysis is an important component in the simulation of construction operations. It involves creating a specific number of work requests for a crew every time period, com...
157
click to vote
MSO
2003
15 years 5 months ago
2003
The Tracker is one of the CMS (Compact Muon Solenoid experiment) detectors to be installed at the LHC (Large Hadron Collider) accelerator, scheduled to start data taking in 2007. ...
139
click to vote
BELL
2000
15 years 3 months ago
2000
A significant part of the call processing software for Lucent's new PathStar access server [FSW98] was checked with automated formal verification techniques. The verification...
128
click to vote
CHB
2011
14 years 7 months ago
2011
Cognitive science is the scientific domain which studies, analyses, simulates and infers for various aspects, functions and procedures of human mentality such as, thinking, logic, ...