1914 search results - page 55 / 383 » Semantic domains for Handel-C |
APWEB
2005
Springer
14 years 3 months ago
2005
Springer
Complex structure and varying requirements increase the difficulties in developing domain specific Web Information Systems. People appeal to a smart tool to customize Web Informati...
KBSE
1994
IEEE
14 years 2 months ago
1994
IEEE
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesi...
ATAL
2008
Springer
14 years 1 days ago
2008
Springer
Software systems are becoming more and more complex with a large number of interacting partners often distributed over a network. A common dilemma faced by software engineers in b...
CORR
2002
Springer
13 years 10 months ago
2002
Springer
In this paper we consider three di erent kinds of domain dependent control knowledge (temporal, procedural and HTN-based) that are useful in planning. Our approach is declarative ...
EUROMICRO
2009
IEEE
14 years 4 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...