2722 search results - page 429 / 545 » Automating Language Evolution |
183
click to vote
ICECCS
2007
IEEE
16 years 19 days ago
2007
IEEE
Identifying and resolving design problems in the early design phase can help ensure software quality and save costs. There are currently few tools for analyzing designs expressed ...
150
click to vote
ICECCS
2007
IEEE
16 years 19 days ago
2007
IEEE
Semantic Web Services, one of the most significant research areas within the Semantic Web vision, has attracted increasing attention from both the research community and industry...
144
click to vote
TPHOL
2007
IEEE
16 years 18 days ago
2007
IEEE
Cminor is a mid-level imperative programming language; there are proved-correct optimizing compilers from C to Cminor and from Cminor to machine language. We have redesigned Cminor...
180
click to vote
WECWIS
2007
IEEE
16 years 18 days ago
2007
IEEE
Service-oriented architecture (SOA) is an evolving architectural paradigm where businesses can expose their capabilities as modular, network-accessible software services. By decom...
157
click to vote
ECSQARU
2007
Springer
16 years 15 days ago
2007
Springer
Dynamic epistemic logic (DEL) as viewed by Baltag et col. and propositional dynamic logic (PDL) offer different semantics of events. On the one hand, DEL adds dynamics to epistem...