2293 search results - page 98 / 459 » Temporal Logic in Information Systems |
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Service Management controls how business services are developed and delivered to customers. Business services must be flexible negotiable between customer and provider. Temporal a...
IANDC
2011
14 years 4 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, ...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the f...
CHI
2006
ACM
15 years 10 months ago
2006
ACM
Although speech is a potentially rich information source, a major barrier to exploiting speech archives is the lack of useful tools for efficiently accessing lengthy speech record...
CAISE
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. Flexibility to react on rapidly changing general conditions of the environment has become a key factor for economic success of any company. The competitiveness of an ente...