3387 search results - page 533 / 678 » Automating the Metamodeling Process |
144
click to vote
LICS
2006
IEEE
16 years 12 days ago
2006
IEEE
The semantics of process calculi has traditionally been specified by labelled transition systems (LTS), but with the development of name calculi it turned out that reaction rules...
165
click to vote
MIAR
2006
IEEE
16 years 12 days ago
2006
IEEE
Segmentation of CSF and pulsative blood flow, based on a single phase contrast MRA (PC-MRA) image can lead to imperfect classifications. In this paper, we present a novel automated...
194
click to vote
TIME
2006
IEEE
16 years 12 days ago
2006
IEEE
Querying its own history is an important mechanism in the computations, especially those interacting with people or other computations such as transaction processing, electronic d...
173
click to vote
ADMA
2006
Springer
16 years 11 days ago
2006
Springer
Abstract. The web with its rapid expansion has become an excellent resource for gathering information and people’s opinion. A company owner wants to know who is the competitor, a...
210
click to vote
ACL2
2006
ACM
16 years 11 days ago
2006
ACM
Support for congruence-based rewriting is built into ACL2. This capability allows ACL2 to treat certain predicate relations ”just like equality” under appropriate conditions a...