3429 search results - page 405 / 686 » Modelling the Operational Semantics of Domain-Specific Model... |
155
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
161
click to vote
SIGMOD
1996
ACM
15 years 8 months ago
1996
ACM
While much recent research has focussed on extending databases beyond the traditional relational model, relatively little has been done to develop database tools for querying data...
145
click to vote
EUROMICRO
2003
IEEE
15 years 10 months ago
2003
IEEE
Recently, several languages for web service composition have emerged (e.g., BPEL4WS and WSCI). The goal of these languages is to glue web services together in a process-oriented w...
157
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
The accurate prediction of program's memory requirements is a critical component in software development. Existing heap space analyses either do not take deallocation into ac...
143
click to vote
ISSTA
2006
ACM
15 years 10 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...