280 search results - page 22 / 56 » Constraint Systems for Pattern Analysis of Constraint Logic-... |
150
Voted
ICPP
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a new schedulability analysis methodology for distributed hard real-time systems with bursty job arrivals. The schedulability is analyzed by comparing worst-ca...
132
Voted
FMCO
2008
Springer
15 years 5 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
130
Voted
CICLING
2010
Springer
15 years 5 months ago
2010
Springer
The translation quality and parsing efficiency are often disappointed when Rule based Machine Translation systems deal with long sentences. Due to the complicated syntactic structu...
195
click to vote
PLDI
1997
ACM
15 years 7 months ago
1997
ACM
Set-based analysis is a constraint-based whole program analysis that is applicable to functional and objectoriented programming languages. Unfortunately, the analysis is useless f...
114
Voted
ISMIR
2004
Springer
15 years 8 months ago
2004
Springer
The automatic analysis of singing from music is an important and challenging issue within the research target of content-based retrieval of music information. As part of this rese...