3515 search results - page 525 / 703 » On the semantics of Strategy Logic |
183
click to vote
IAT
2006
IEEE
16 years 1 months ago
2006
IEEE
Negotiating with suppliers and with customers is a key part of supply chain management. However, with recent technological advances, the mechanisms available to carry out such act...
213
click to vote
ACL2
2006
ACM
16 years 1 months ago
2006
ACM
We have implemented parallelism primitives that permit an ACL2 programmer to parallelize execution of ACL2 functions. We (1) introduce logical definitions for these primitives, (...
225
click to vote
HICSS
2005
IEEE
16 years 27 days ago
2005
IEEE
The complex business environment requires managing business processes with the ability to adapt to changes and to collaborate in activities. Conventional workflow approaches based...
171
click to vote
ICDAR
2005
IEEE
16 years 27 days ago
2005
IEEE
In this article, we focus on the problem of caption detection in video sequences. Contrary to most of existing approaches based on a single detector followed by an ad hoc and cost...
213
click to vote
CBSE
2005
Springer
16 years 25 days ago
2005
Springer
We consider a class of component-based software models with interaction style of buffered asynchronous message passing between components with ports, represented by UML-RT. After ...