3765 search results - page 410 / 753 » Formal Methods for Systems Engineering Behavior Models |
203
click to vote
ER
2009
Springer
15 years 4 months ago
2009
Springer
: Conceptual modelling is a widely applied practice and has led to a large body of knowledge on constructs that might be used for modelling and on methods that might be useful for ...
211
click to vote
IUI
2006
ACM
16 years 22 days ago
2006
ACM
Studying the relationship between natural language and affective information as well as assessing the underpinned affective qualities of natural language are becoming crucial for ...
188
click to vote
PASTE
2004
ACM
16 years 6 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
176
click to vote
DGO
2003
15 years 8 months ago
2003
To query XML data over the Web, query engines need to be able to resolve semantic differences between heterogeneous attributes that are conceptually similar. This demo presents a ...
200
click to vote
ENTCS
2006
15 years 6 months ago
2006
Using graph transformation as a formalism to specify model transformation, termination and confluence of the graph transformation system are often required properties. Only under ...