4036 search results - page 137 / 808 » Formal Methods |
121
click to vote
COLING
2010
15 years 2 days ago
2010
There has been relatively little work focused on determining the formality level of individual lexical items. This study applies information from large mixedgenre corpora, demonst...
119
Voted
ICSE
2003
IEEE-ACM
16 years 5 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
166
click to vote
SIGMOD
2003
ACM
16 years 5 months ago
2003
ACM
Modern database systems provide not only powerful data models but also complex query languages supporting powerful features such as the ability to create new database objects and ...
135
click to vote
WISE
2009
Springer
16 years 2 months ago
2009
Springer
Identifying the right-grained services is important to lead the successful service orientation because it has a direct impact on two major goals: the composability of loosely-coupl...
111
click to vote
DSD
2002
IEEE
15 years 10 months ago
2002
IEEE
We use a formal tool to extract Finite State Machines (FSM) based representations (lists of states and transitions) of sequential circuits described by flip-flops and gates. The...