8766 search results - page 1342 / 1754 » Functional logic programming |
153
Voted
EDOC
2007
IEEE
15 years 8 months ago
2007
IEEE
The decentralized process of configuring enterprise applications is complex and error-prone, involving multiple participants/roles and numerous configuration changes across multipl...
156
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
161
click to vote
APSCC
2006
IEEE
15 years 8 months ago
2006
IEEE
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
184
click to vote
ECBS
2006
IEEE
15 years 8 months ago
2006
IEEE
Software product lines (PLs) are large, complex systems, demanding high maintainability and enhanced flexibility. Nonetheless, in the state of the art PL methods, features are sca...
126
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...