6978 search results - page 1332 / 1396 » On Proofs in System P |
ER
2007
Springer
14 years 3 months ago
2007
Springer
Recent research in e-contracts is concerned with the development of frameworks and tools to support contracts. EREC framework is one that enables modelling and deployment of e-con...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Manual surface reconstruction is still an everyday practice in applications involving complex irregular domains necessary for modeling biological systems. Rapid developme...
OOPSLA
2007
Springer
14 years 3 months ago
2007
Springer
Omniscient debuggers make it possible to navigate backwards in time within a program execution trace, drastically improving the task of debugging complex applications. Still, they...
ICRA
2006
IEEE
14 years 3 months ago
2006
IEEE
— The dangerous and time sensitive nature of a disaster area makes it an ideal application for robotic exploration. Our long term goal is to enable humans, software agents, and a...
IJCNN
2006
IEEE
14 years 3 months ago
2006
IEEE
– When subjected to transient disturbances in the power grid, the variable frequency converter (VFC) is the most sensitive part in the variable-speed wind turbine generator syste...