1522 search results - page 32 / 305 » Practical Exception Specifications |
125
click to vote
REFSQ
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Constrained Natural Languages (CNLs) are becoming an increasingly popular way of writing technical documents such as requirements specifications. This is because CNLs aim...
AUTOMATICA
2008
15 years 1 months ago
2008
The paper presents sufficient conditions for modular (supervisory) control synthesis to equal global control synthesis. In modular control synthesis a supervisory control is synth...
129
click to vote
WEBI
2010
Springer
14 years 11 months ago
2010
Springer
Majority of the existing approaches to service composition, including the widely popular planning based techniques, are not able to automatically compose practical workflows that ...
104
click to vote
VLSID
2007
IEEE
16 years 1 months ago
2007
IEEE
Performance of an application can be improved through augmenting the processor with Application specific Functional Units (AFUs). Usually a cluster of operations identified from th...
107
click to vote
ARGMAS
2004
Springer
15 years 5 months ago
2004
Springer
Formal dialectic systems have been suggested as a means to model inter-agent communication in multi-agent systems. The formal dialectic systems of Hamblin are practical models for ...