3653 search results - page 428 / 731 » On Recognizable Timed Languages |
193
click to vote
HASKELL
2006
ACM
16 years 19 days ago
2006
ACM
Haskell’s type system with multi-parameter constructor classes and functional dependencies allows static (compile-time) computations to be expressed by logic programming on the ...
165
click to vote
PPPJ
2006
ACM
16 years 19 days ago
2006
ACM
Development of high quality code is extremely di cult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
154
click to vote
SOFTVIS
2006
ACM
16 years 19 days ago
2006
ACM
Enabling nonexperts to understand a software system and the scenarios of usage of that system can be challenging. Visually modeling a collection of scenarios as social interaction...
190
click to vote
FDL
2005
IEEE
16 years 9 days ago
2005
IEEE
Embedded system designs and simulations become tedious and time consuming due to the complexity of modern applications. Thus, languages allowing high level description, such as Sy...
186
Voted
WISE
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...