3319 search results - page 555 / 664 » Subshifts, Languages and Logic |
151
click to vote
IEEESCC
2006
IEEE
16 years 11 days ago
2006
IEEE
Today’s business processes are not static, they need to be adapted frequently to reflect changing business requirements. Several business process languages such as WS-BPEL have...
160
click to vote
TIME
2006
IEEE
16 years 10 days ago
2006
IEEE
Published in: Proceedings of the 13th International Symposium on Temporal Representation and Reasoning (TIME-06), Budapest, Hungary, June 2006. IEEE Computer Society Press. Real-w...
161
click to vote
DAC
2006
ACM
16 years 9 days ago
2006
ACM
Architectural decisions for DSP modules are often analyzed using high level C models. Such high-level explorations allow early examination of the algorithms and the architectural ...
183
click to vote
HASKELL
2006
ACM
16 years 9 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
167
click to vote
HICSS
2005
IEEE
15 years 12 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...