4460 search results - page 285 / 892 » Formal methods for interactive systems |
213
click to vote
JUCS
2010
15 years 1 months ago
2010
: Assessing the quality of conceptual models is key to ensure that conceptual models can be used effectively as a basis for understanding, agreement and construction of information...
158
click to vote
ISORC
2006
IEEE
16 years 20 days ago
2006
IEEE
Many prior approaches in UML-based embedded software design incorporate state-based behavior modeling. However, interaction-based behavior modeling provides more intuitive view of...
186
Voted
ICAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Motivated by the real-world application of categorizing system log messages into defined situation categories, this paper describes an interactive text categorization method, PICC...
179
click to vote
ITCC
2005
IEEE
16 years 6 days ago
2005
IEEE
Interactive Data Language (IDL) is an array-oriented data analysis and visualization application, which is widely used in research, commerce, and education. It is meaningful to ma...
196
click to vote
COCO
2005
Springer
16 years 5 days ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...