8828 search results - page 189 / 1766 » Formal methods in practice |
164
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Web services are open, interoperable, easy to integrate and reuse, and are extensively used in many application domains. Research and best practices have produced excellent support...
166
click to vote
IANDC
2011
14 years 12 months ago
2011
Partial transition systems support abstract model checking of complex temporal propercombining both over- and under-approximatingabstractions into a single model. Over the years, ...
145
click to vote
VTC
2008
IEEE
15 years 11 months ago
2008
IEEE
—This paper describes a hybrid AOA/TODA Mobile Station (MS) location estimation method based on the CDMA wireless communications signals. The method utilized estimates the Angle ...
146
click to vote
APLAS
2006
ACM
15 years 11 months ago
2006
ACM
The static determination of approximated values of string expressions has many potential applications. For instance, approximated string values may be used to check the validity an...
121
Voted
WSC
1998
15 years 6 months ago
1998
A method of modeling transportation-inventory systems is proposed in an attempt to flexibly describe the systems in which a lot of kinds of items are ordered to transport, transpo...