1397 search results - page 229 / 280 » Manufacturing Modeling using Process Nets with Resources |
HIPEAC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
153
click to vote
JSC
2010
14 years 7 months ago
2010
A uniform verification problem for parameterized systems is to determine whether a temporal property is satisfied for every instance of the system which is composed of an arbitrar...
84
Voted
DASFAA
2007
IEEE
15 years 7 months ago
2007
IEEE
As large-scale sensor networks are being deployed with the objective of collecting quality data to support user queries and decision-making, the role of a scalable query model beco...
126
click to vote
MICRO
2006
IEEE
15 years 16 days ago
2006
IEEE
Shrinking devices to the nanoscale, increasing integration densities, and reducing of voltage levels down to the thermal limit, all conspire to produce faulty systems. Frequent oc...
127
click to vote
RE
2008
Springer
15 years 1 days ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...