1768 search results - page 255 / 354 » A Logic for Algebraic Effects |
164
click to vote
CONCUR
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Reactive Systems `a la Leifer and Milner allow to derive from a reaction semantics definition an LTS equipped with a bisimilarity relation which is a congruence. This th...
149
click to vote
ER
2007
Springer
16 years 10 days ago
2007
Springer
An e-contract is a contract modeled, specified, executed, controlled and monitored by a software system. Econtract evolves over a period of time and there are many scenarios of ch...
150
click to vote
ICWL
2007
Springer
16 years 10 days ago
2007
Springer
In e-testing it is important to administer tests composed of good quality question items. By the term “quality” we intend the potential of an item in effectively discriminating...
161
click to vote
PADL
2007
Springer
16 years 9 days ago
2007
Springer
Modern development environments integrate various static analyses into the build process. Analyses that analyze the whole project whenever the project changes are impractical in th...
159
Voted
ICMCS
2006
IEEE
16 years 6 days ago
2006
IEEE
Most of the current speech transmission systems are only able to deliver speech signals in a narrow frequency band. This narrowband speech is characterized by a thin and muffled ...