1078 search results - page 88 / 216 » Modelling and Verifying of e-Commerce Systems |
131
click to vote
MEMOCODE
2007
IEEE
15 years 10 months ago
2007
IEEE
The always increasing complexity of digital system is overcome in design flows based on Transaction Level Modeling (TLM) by designing and verifying the system at difbstraction le...
151
Voted
HCW
1999
IEEE
15 years 8 months ago
1999
IEEE
: Networks of Workstations (NOW) have become an attractive alternative platform for high performance computing. Due to the commodity nature of workstations and interconnects and du...
126
click to vote
WSC
1998
15 years 5 months ago
1998
Simulation at the machine-control level plays an important role in designing machine controls and operational specifications. Recently, there has been a considerable amount of wor...
136
click to vote
NLE
2007
15 years 3 months ago
2007
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on mobile computing devices or by disabled users), by ta...
150
Voted
FSTTCS
2010
Springer
15 years 2 months ago
2010
Springer
We consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, we use message sequence charts (MSCs) annotated with ...