6978 search results - page 1048 / 1396 » On Proofs in System P |
170
Voted
ATAL
2007
Springer
16 years 1 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
189
Voted
CIVR
2007
Springer
16 years 1 months ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
165
click to vote
ER
2007
Springer
16 years 1 months ago
2007
Springer
Business process models play an important role for the management, design, and improvement of process organizations and process-aware information systems. Despite the extensive ap...
194
Voted
ICCS
2007
Springer
16 years 1 months ago
2007
Springer
Software document repositories store artifacts produced in the course of developing software products. But most repositories are simply archives of documents. It is not unusual to ...
165
click to vote
INDOCRYPT
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs in the design of stream ciphers. The previous constructions based on FCSRs were dedicated...