1900 search results - page 165 / 380 » The Four Phase Method for Modelling Complex Systems |
126
click to vote
FM
2006
Springer
15 years 6 months ago
2006
Springer
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners adopt techniques that support partial behaviour...
110
click to vote
LCTRTS
2001
Springer
15 years 7 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
109
click to vote
NAACL
2010
15 years 1 months ago
2010
With the increase in popularity of online review sites comes a corresponding need for tools capable of extracting the information most important to the user from the plain text da...
151
click to vote
ENTCS
2007
15 years 3 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
131
click to vote
IUI
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a novel way for assessing the affective qualities of natural language and a scenario for its use. Previous approaches to textual affect sensing have employed k...