4360 search results - page 686 / 872 » Socio-technical systems: From design methods to systems engi... |
205
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—Recently, network localization systems that are based on inter-node ranges have received significant attention. Geographic routing has been considered an application which can u...
166
click to vote
IJFCS
2006
15 years 6 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
183
click to vote
LPNMR
2001
Springer
15 years 11 months ago
2001
Springer
Abstract This paper describes a generic compiler, called plp, for translating ordered logic programs into standard logic programs under the answer set semantics. In an ordered logi...
226
click to vote
CODES
2007
IEEE
16 years 28 days ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
179
click to vote
EUROMICRO
2007
IEEE
16 years 28 days ago
2007
IEEE
Code model checking of software components suffers from the well-known problem of state explosion when applied to highly parallel components, despite the fact that a single compon...