Sciweavers

3040 search results - page 268 / 608
» Synergetic Tool Environments
Sort
View
COMCOM
2007
106views more  COMCOM 2007»
15 years 6 months ago
An ontology description for SIP security flaws
— Voice over IP (VoIP) services based on the Session Initiation Protocol (SIP) gain ground as compared to other protocols like MGCP or H.323. However, the open SIP architecture c...
Dimitris Geneiatakis, Costas Lambrinoudakis
ENTCS
1998
90views more  ENTCS 1998»
15 years 6 months ago
Handling ELAN rewrite programs via an exchange format
Designing a programming environment raises difficult implementation problems since such software is not just one piece of code able to execute programs expressed in a given progra...
Peter Borovanský, Salma Jamoussi, Pierre-Et...
PC
1998
196views Management» more  PC 1998»
15 years 6 months ago
DataExchange: High Performance Communications in Distributed Laboratories
Current communications tools and libraries for high performance computing are designed for platforms and applications that exhibit relatively stable computational and communicatio...
Greg Eisenhauer, Beth Plale, Karsten Schwan
ENTCS
2008
90views more  ENTCS 2008»
15 years 6 months ago
Formal Verification of Websites
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
Sonia Flores, Salvador Lucas, Alicia Villanueva
KBSE
2010
IEEE
15 years 5 months ago
Apt-pbo: solving the software dependency problem using pseudo-boolean optimization
The installation of software packages depends on the correct resolution of dependencies and conflicts between packages. This problem is NP-complete and, as expected, is a hard ta...
Paulo Trezentos, Inês Lynce, Arlindo L. Oliv...