7661 search results - page 160 / 1533 » Languages and the Computing Profession |
146
click to vote
PDP
2006
IEEE
16 years 13 days ago
2006
IEEE
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
169
click to vote
SAC
2006
ACM
16 years 12 days ago
2006
ACM
Conceptual Business Process Modelling Languages (BPMLs) express certain aspects of processes (e.g. activities, roles, interactions, data, etc.) and address different application a...
168
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
141
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
136
click to vote
ECAL
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Recent work in the field of computational evolutionary linguistics suggests that the dynamics arising from the cultural evolution of language can explain the emergence o...