2702 search results - page 236 / 541 » Practically Applicable Formal Methods |
111
click to vote
RTSS
1997
IEEE
15 years 6 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...
136
Voted
JACM
2010
15 years 24 days ago
2010
Description logics (DLs) and rules are formalisms that emphasize different aspects of knowledge representation: whereas DLs are focused on specifying and reasoning about conceptual...
118
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
A suitable software architecture –for example in the area of distributed application– can be composed of known-to-work solutions. These are also known as design patterns. Howev...
153
click to vote
WWW
2008
ACM
16 years 3 months ago
2008
ACM
Inferring an appropriate DTD or XML Schema Definition (XSD) for a given collection of XML documents essentially reduces to learning deterministic regular expressions from sets of ...
137
Voted
HYBRID
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. The problem of synthesizing feedback controllers that perform sensing and actuation actions on non–uniform and uncertain discrete time domains is considered. This class...